Processed: Re: Bug#977258: libssreflect-coq: ABI break by coq binNMU

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> clone 977258 -1
Bug #977258 [libssreflect-coq] libssreflect-coq: ABI break by coq binNMU
Bug 977258 cloned as bug 979756
> reassign -1 coq
Bug #979756 [libssreflect-coq] libssreflect-coq: ABI break by coq binNMU
Bug reassigned from package 'libssreflect-coq' to 'coq'.
No longer marked as found in versions ssreflect/1.11.0-2.
Ignoring request to alter fixed versions of bug #979756 to the same values previously set
> severity -1 wishlist
Bug #979756 [coq] libssreflect-coq: ABI break by coq binNMU
Severity set to 'wishlist' from 'normal'
> retitle -1 Please compute ABIs for Coq libraries
Bug #979756 [coq] libssreflect-coq: ABI break by coq binNMU
Changed Bug title to 'Please compute ABIs for Coq libraries' from 'libssreflect-coq: ABI break by coq binNMU'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
977258: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=977258
979756: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=979756
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems