Processed: retitle 933722 to camlp4 is deprecated
Processing commands for control@bugs.debian.org:
> retitle 933722 camlp4 is deprecated
Bug #933722 [camlp4] camlp4 is deprecated and almost dead upstream (and a key package)
Changed Bug title to 'camlp4 is deprecated' from 'camlp4 is deprecated and almost dead upstream (and a key package)'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
933722: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=933722
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: