As one small data point I can say that I already upgraded cysignals in nixpkgs (tested Linux, although it could technically be used on other platforms too). I didn't run into any obvious issues.
I also think we should merge that upgrade for 8.3. Erik put in a lot of work to make that platform supported and I think the least we should do is support him in supporting it :) Sage has a lot of tests. It might even test a little too much (making the test suite brittle). I'm sure they would catch most regressions faster than 1-2 weeks. And worst case, if a regression slips through, why are we not doing bug fix releases? E.g. sage 8.3.1. On July 18, 2018 11:44:33 PM GMT+02:00, Volker Braun <vbraun.n...@gmail.com> wrote: >On Wednesday, July 18, 2018 at 1:34:56 PM UTC+2, Erik Bray wrote: >> >> All that said, your claim that this is a "high-risk" upgrade is also >> highly specious. This is upgrading Cysignals from 1.7.1 to 1.7.2 [1] > >> which contains a couple bug fixes, the most significant of which (in >> terms of patch size) impacts Cygwin only. > > >I haven't looked at the diff set, but we did have regressions from >minor >cysignals changes before. Its just that signal handlers, due to their >asynchronous nature and interactions with the OS, are notoriously hard >to >reason about. > >-- >You received this message because you are subscribed to a topic in the >Google Groups "sage-devel" group. >To unsubscribe from this topic, visit >https://groups.google.com/d/topic/sage-devel/E3pPKrQbBkE/unsubscribe. >To unsubscribe from this group and all its topics, send an email to >sage-devel+unsubscr...@googlegroups.com. >To post to this group, send email to sage-devel@googlegroups.com. >Visit this group at https://groups.google.com/group/sage-devel. >For more options, visit https://groups.google.com/d/optout. -- Sent from my Android device with K-9 Mail. Please excuse my brevity. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
