On 1/9/23 10:38, Sylvestre Ledru wrote:
Or just push a fork on github. I can take it for there :)
For work-related reasons this isn't going to happen the next few weeks.Can you, please, update to 1.12.0 and include the minor described fixes to debian/*? It should work, afaict.
-richard.
