Processed: closing 275355
Processing commands for control@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 owner@bugs.debian.org with problems
Reply to: