ubuntu22.04 compatibility, some bugfixes, and an improvement
ubuntu22.04 compatibility, some bugfixes, and an improvement
Remember that this needs to be merged on the command line, and pushing trunk
to the public repo is blocked by the deadname removal.
Edited by Adam