That's what I figured, but I can't find a path to their location. I see "Release Notes" but that only has 1.5 as the most recent. And the change that I am looking for is not on that set of notes.
/c On Wednesday, February 19, 2020 at 10:28:57 PM UTC-6, Aaron Meurer wrote: > > Yes, that is the whole point of putting them on the wiki. You can edit > them at any time after the bot puts them there (before or after the > release). > > Aaron Meurer > > On Wed, Feb 19, 2020 at 9:06 PM Chris Smith <[email protected] > <javascript:>> wrote: > > > > Is there a way to edit the release notes before they are finalized with > a release? In other words, after commiting a PR can the release note for > that PR be modified? > > > > /c > > > > -- > > You received this message because you are subscribed to the Google > Groups "sympy" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected] <javascript:>. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/8172eec5-f48d-4d46-989c-23a6459ab723%40googlegroups.com. > > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/8348d416-458f-4ee7-abb5-ff9769df0fc6%40googlegroups.com.
