Processing commands for cont...@bugs.debian.org: > close 275355 1.7.54 Bug #275355 [crosshurd] crosshurd: support commandline options Marked as fixed in versions crosshurd/1.7.54. Bug #275355 [crosshurd] crosshurd: support commandline options Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 275355: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=275355 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems