Hi Rafael and Nicolas On Wed, 8 May 2024 at 19:58, Rafael Laboissière <raf...@debian.org> wrote: > I will soon upload version 5.15.0+dfsg2-11, with the fix proposed by > Nicolas in Bug#1070746.
Thanks for the quick turnaround! gnat 13 has migrated. Regards Graham -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers