Bug#1127235: fixed in mia 2.4.7-17

[Andreas Tille]

Am Thu, Mar 05, 2026 at 03:21:15PM +0100 schrieb Santiago Vila:
> Somebody will have to look at it.

Just doing a local rebuild including a missing header ...

-- 
https://fam-tille.de