Processed: limit source to menhir, tagging 484497
Processing commands for control@bugs.debian.org:
> limit source menhir
Limiting to bugs with field 'source' containing at least one of 'menhir'
Limit currently set to 'source':'menhir'
> tags 484497 + pending
Bug #484497 [menhir] please ship the menhir pdf manual
Added tag(s) pending.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
484497: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=484497
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: