Processed: Re: fenics-dolfinx: NMU diff for 64-bit time_t transition

[Debian Bug Tracking System]

Processing control commands:

> severity 1062587 important
Bug #1062587 [src:fenics-dolfinx] fenics-dolfinx: NMU diff for 64-bit time_t transition
Severity set to 'important' from 'serious'
> tags 1062587 moreinfo
Bug #1062587 [src:fenics-dolfinx] fenics-dolfinx: NMU diff for 64-bit time_t transition
Added tag(s) moreinfo.

-- 
1062587: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1062587
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems