Subject: Re: [bug#35667] [PATCH] gnu: denemo: Use older version of gtksourceview.
From: Ricardo Wurmus <[email-masked]>
To: Diego Nicola Barbato <[email-masked]>
Cc: [email-masked]
Date: Sat, 11 May 2019 21:36:20 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Diego,

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

--
Ricardo