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.
--
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/70b5a09d-e9d3-4b92-b75b-02c034fd79cc%40googlegroups.com.
