Jeremy Bicha Sun, 13 May 2018 16:24:56 -0700
gbrainy 2.3.5 was released last month which includes the cherry-picked patch I mentioned. So for the 2nd patch, you just need the debian/control change and not the debian/patches/ additions.
Jeremy
