> On 4 Aug 2019, at 21:42, Eric Botcazou <ebotca...@adacore.com> wrote: > >> This patch has now been on mainline for some time without any apparent >> issue, the problem is also present on the open branches, may I backport it? > > OK, thanks.
Done for 9.2. Iain
