/mandos/release

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/release
237.11.7 by Teddy Hogeborn
* debian/source/local-options: New; contains "--single-debian-patch".
1
--single-debian-patch