hiro
Fix spurious char in debian doc
hiro commited 48f7789da at 2018-04-03 11:36:25