I pushed this change to the Ubuntu packaging bzr for now. I proposed it upstream, and will discuss with Richard about possible refinements.
I pushed this change to the Ubuntu packaging bzr for now. I proposed it upstream, and will discuss with Richard about possible refinements.