Processing commands for cont...@bugs.debian.org:
> user debian...@lists.debian.org
Setting user to debian...@lists.debian.org (was a...@debian.org).
> usertags 942187 piuparts
There were no usertags set.
Usertags are now: piuparts.
> severity 942187 serious
Bug #942187 {Done: Alastair McKinstry <mckins...@debian.org>} [libxdmf-dev]
libxdmf-dev: conflict with older libxdmf3
Severity set to 'serious' from 'normal'
> reopen 942187
Bug #942187 {Done: Alastair McKinstry <mckins...@debian.org>} [libxdmf-dev]
libxdmf-dev: conflict with older libxdmf3
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions xdmf/3.0+git20190531-2.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
942187: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942187
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
