On Mon, Jul 12, 2010 at 10:01 AM, Tim Joseph Dumol <t...@timdumol.com> wrote: > I'm copying my reply to the Sage 4.5.rc0 thread: > > Sorry! I was last informed that I could close notebook tickets that > are merged in a SageNB release.
This would be a good reason for us to setup a separate trac server for the notebook. It's tempting. There's probably also a way to make it so http://trac.sagemath.org/sage_notebook is a trac just for the notebook. > Since you closed #9430 (SageNB 0.8.1) > and said that it was merged in 4.5.rc0, I assumed that the Sage > library patch at #7379 was merged as well, since the ticket > description at #9430 notes that #7379 is to be merged with #9430. > > > On Mon, Jul 12, 2010 at 3:58 PM, Robert Miller <r...@rlmiller.org> wrote: >> I'd just like to remind everyone: >> >> Only the release manager should close tickets. >> >> Tim Dumol has closed #7379, even though there was a sage library patch >> there which needed to be merged. This is causing 4.5.rc0 to fail in >> much worse ways than it should. >> >> If you close tickets yourself you may be publicly shamed on >> sage-devel! You have been warned!!! >> >> -- >> Robert L. Miller >> http://www.rlmiller.org/ >> >> -- >> To post to this group, send an email to sage-devel@googlegroups.com >> To unsubscribe from this group, send an email to >> sage-devel+unsubscr...@googlegroups.com >> For more options, visit this group at >> http://groups.google.com/group/sage-devel >> URL: http://www.sagemath.org >> > > > > -- > Tim Joseph Dumol <tim (at) timdumol (dot) com> > http://timdumol.com > > -- > To post to this group, send an email to sage-devel@googlegroups.com > To unsubscribe from this group, send an email to > sage-devel+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org > -- William Stein Professor of Mathematics University of Washington http://wstein.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org