On Thu, Nov 14, 2019 at 10:01:49PM +0100, Martin Steigerwald wrote: > please package version 0.9.10 or whatever version is current when you decide > to do an updated package.
Please do :) Upstream's latest stable release is now 0.9.12. Enrico -- GPG key: 4096R/634F4BD1E7AD5568 2009-05-08 Enrico Zini <enr...@enricozini.org>