I think merging to the latest Debian apt release is the saner thing here, as David hints at. It just needs me or Michael to find a few spare moments to get it done and uploaded. Will look in a bit.
I think merging to the latest Debian apt release is the saner thing here, as David hints at. It just needs me or Michael to find a few spare moments to get it done and uploaded. Will look in a bit.