Le mercredi 15 janvier 2020 16:44:58 UTC+1, kcrisman a écrit : > > > > > set the milestone to duplicate/invalid/wontfix >>> and give it positive review, with an explanation in a comment. >>> >> >> Depending how striking the claimed bug is, it might be inspiration for a >> good doctest, in which case the ticket can be used to actually "fix" the >> documentation. >> > > Yes, I strongly recommend putting a doctest in unless it is truly a > trivial bug. >
Seconded. If you haen to have sufficient ressources (a spare machine with a development tree), it might be worthy to bisect between the bug report and the current release to see *when* and *how* the bug was unintentionally fixed. This might help to build a relevant doctest. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/1ab63405-0712-4eda-beda-dc00c22c67af%40googlegroups.com.
