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

To: Sebastian Ramacher <sramcher@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: Re: Bug#1027284: mpfr_custom_get_kind broken in current 4.1.1
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 31 Dec 2022 11:18:04 +0000
Message-id: <[🔎] handler.s.B1027284.1672485369711596.transcript@bugs.debian.org>
References: <[🔎] Y7AZ9AHJHb2GYBbv@ramacher.at> <Y63a1AUflTK9/Ug/@t14g2>

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 affects src:deal.ii

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

Reply to:

References:
- Bug#1027284: mpfr_custom_get_kind broken in current 4.1.1
  - From: Sebastian Ramacher <sramcher@debian.org>
- Bug#1027284: mpfr_custom_get_kind broken in current 4.1.1
  - From: Yuri D'Elia <wavexx@thregr.org>

Prev by Date: Bug#1027284: mpfr_custom_get_kind broken in current 4.1.1
Next by Date: Processing of mpfr4_4.1.1-3_source.changes
Previous by thread: Bug#1027284: mpfr_custom_get_kind broken in current 4.1.1
Next by thread: Bug#1027284: marked as done (mpfr_custom_get_kind broken in current 4.1.1)
Index(es):
- Date
- Thread