Re: [sage-devel] Why doesn't #23931 get merged?

2017-12-09 Thread Volker Braun
I understand that everybody wants to see their tickets merged first, thats ok. But please realise that you aren't the only one here. The way I see it, the choice was between * Having another potential breakage leading to another rc-version, essentially delaying the release by a week. * You bei

Re: [sage-devel] Why doesn't #23931 get merged?

2017-12-08 Thread Erik Bray
On Thu, Dec 7, 2017 at 3:39 PM, Friedrich Wiemer wrote: > The ticket #23931 has a positive review for quite some time and I'm not > aware of any changes left for it, so my humble question is: Is there a > reason this ticket isn't merged yet? In the time between now and when I raised the issue the

[sage-devel] Why doesn't #23931 get merged?

2017-12-07 Thread Friedrich Wiemer
The ticket #23931 has a positive review for quite some time and I'm not aware of any changes left for it, so my humble question is: Is there a reason this ticket isn't merged yet? -- You received this message becau