Hello,

closing this bug as the main issue is solved. Work on tidying up the
distribution is always welcome, but as long as packages build, we can
also keep outdated ones.

Andreas




Reply via email to