Processed: reopening 1028143, found 1028143 in 126-3

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reopen 1028143
Bug #1028143 {Done: Alexandre Detiste <alexandre.detiste at gmail.com>} [ares] ares: Update ares to version 131 - merge request included
Bug reopened
Ignoring request to alter fixed versions of bug #1028143 to the same values previously set
> found 1028143 126-3
Bug #1028143 [ares] ares: Update ares to version 131 - merge request included
Marked as found in versions ares/126-3.
> thanks
Stopping processing here.

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