On Wed, 05 Jan 2022 at 00:00, zimoun <[email protected]> wrote: > On Fri, 26 Nov 2021 at 02:51, zimoun <[email protected]> wrote: >> On Tue, 12 Oct 2021 at 23:42, zimoun <[email protected]> wrote: >>> On Tue, 14 Sep 2021 at 13:51, zimoun <[email protected]> wrote: >>>> On Fri, 13 Jan 2017 at 10:29, Ben Sturmfels <[email protected]> wrote: >>>>> On 13/01/17 01:22, Ludovic Courtès wrote:
> The bug is open since 2017 without any inputs despite my 3 questions. > Therefore, I will close it in one month from now if there is no more > interest in. The backlog is already enough long. :-) Done. Cheers, simon
