Subject: bug#13002: Updated, fixed patch

From: Reuben Thomas <[email-masked]>
Date: Wed, 28 Oct 2020 22:58:09 +0000

To follow up clearly: if it were up to me, I'd install an acceptable
version of my patch, as it improves the status quo, and include it in the
next release. Then I'd think about whether it's possible to redo the Vala
support entirely.

-- 
https://rrt.sc3d.org