Subject: Re: [bug#35667] [PATCH] gnu: denemo: Use older version of gtksourceview.

From: Ricardo Wurmus <[email-masked]>
Date: Sat, 11 May 2019 21:36:20 +0200

Hi Diego,

thank you for this patch.  I pushed it to the master branch with commit
6bf795329a1da58e38f749f4af7a7694bfb64f97.

--
Ricardo