On Sat, Jan 31, 18:02, Helmut Grohne wrote > On Sat, Jan 31, 2026 at 05:16:09PM +0100, Andre Noll wrote: > > Thanks for pointing out this issue. Is the below sufficient to fix it? > > Yes, that looks good to me.
Great. I've now applied this patch to the "debian" branch and pushed out the result to the public repo. Thanks Andre -- Max Planck Institute for Biology Tel: (+49) 7071 601 829 Max-Planck-Ring 5, 72076 Tübingen, Germany https://people.tuebingen.mpg.de/maan/
