On Sunday, November 25, 2012 7:30:21 PM UTC, Keshav Kini wrote: > Yup. (The latter would of course be better.) But it would be on > everyone's local sage install, not on trac or in the release management > scripts :)
Well it better be a hook in the local repo, its very annoying to commit and then have the patchbot complain a few days later. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
