divoplade <d...@divoplade.fr> writes: > Is it possible to edit the title?
Yes. To do so, send an email to 'cont...@debbugs.gnu.org' with the following two-line body: --8<---------------cut here---------------start------------->8--- retitle 43093 THE_NEW_BUG_TITLE_GOES_HERE thanks --8<---------------cut here---------------end--------------->8--- For more details on how to use the control server, see: https://debbugs.gnu.org/server-control.html which is linked from the main debbugs help page, here: https://debbugs.gnu.org Mark
