Processed: Re: Bug#1027284: mpfr_custom_get_kind broken in current 4.1.1

Processing control commands: > severity -1 serious Bug #1027284 [libmpfr-dev] mpfr_custom_get_kind broken in current 4.1.1 Severity set to 'serious' from 'important' > affects -1 src:deal.ii Bug #1027284 [libmpfr-dev] mpfr_custom_get_kind broken in current 4.1.1 Added indication that 1027284

Processed: Re: Bug#1027284: mpfr_custom_get_kind broken in current 4.1.1

Processing control commands: > tags -1 upstream fixed-upstream Bug #1027284 [libmpfr-dev] mpfr_custom_get_kind broken in current 4.1.1 Added tag(s) upstream and fixed-upstream. -- 1027284: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1027284 Debian Bug Tracking System Contact