Bug#961445: merge request

To: 961438@bugs.debian.org, 961445@bugs.debian.org
Subject: Bug#961445: merge request
From: Bastian Germann <bastiangermann@fishpost.de>
Date: Mon, 17 Aug 2020 14:04:51 +0200
Message-id: <[🔎] 5ed9f307-d2d5-6892-9ff7-10750f836589@fishpost.de>
Reply-to: Bastian Germann <bastiangermann@fishpost.de>, 961445@bugs.debian.org
References: <159033719228.11656.16080730341571216992.reportbug@localhost>

https://salsa.debian.org/fonts-team/grcompiler/-/merge_requests/2
includes the proposed upstream patches.

Reply to: