[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: