Subject: Re: bug#33978: [PATCH] gnu: Add jose.

From: Manolis Ragkousis <[email-masked]>
Date: Sat, 5 Jan 2019 17:01:23 +0200

Hello everyone,

If nobody has any objections, I will push it to master.

Thank you,
Manolis