2017-11-13 17:24 GMT+01:00 Ben Pfaff <b...@cs.stanford.edu>: > On Mon, Nov 13, 2017 at 09:22:01AM +0100, Manuel A. Fernandez Montecelo wrote: >> Hi, >> >> Should we close then the bug as fixed in -68? > > Oh, the problem is just that the bug wasn't closed? That's easy enough > to fix. I'll close the bug.
Yeah, the reason why I looked into it was that I thought that it was not fixed, when it actually was. Thanks! -- Manuel A. Fernandez Montecelo <manuel.montez...@gmail.com>