Control: reopen -1 > On 2 Oct 2018, at 17:05, Mattia Rizzolo <mat...@debian.org> wrote: > > On Tue, Oct 02, 2018 at 04:47:17PM +0200, Ondřej Surý wrote: >> Control: close -1 > [..] >>> Let's go ahead with this removal then. >> >> Ack, agreed. > > That's confusing, you agreed with the removals (note that all of this > bickering is happening in the 7.1 bug, while you probably cared about > 7.0), but then you closed the bug???
The bug was closed with: > Added removal hint for php7.1. So, now I am confused whether the bug needs to be open or closed. Ondrej -- Ondřej Surý ond...@sury.org