|
From: | Manolis Ragkousis |
Subject: | bug#33978: [PATCH] gnu: Add jose. |
Date: | Mon, 7 Jan 2019 10:18:15 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.3 |
Pushed. On 1/5/19 5:01 PM, Manolis Ragkousis wrote: > Hello everyone, > > If nobody has any objections, I will push it to master. > > Thank you, > Manolis > > >
[Prev in Thread] | Current Thread | [Next in Thread] |