Processed: retitle 435023 to coq: probably needs to depend on emacsen-common

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.10.6
> retitle 435023 coq: probably needs to depend on emacsen-common
Bug#435023: coq: probably needs to pre-depend on emacs-common
Changed Bug title to `coq: probably needs to depend on emacsen-common' from `coq: probably needs to pre-depend on emacs-common'.

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)