To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq2zs3SyUS%2BU%3DDbvun4M1NkSvjw-RJBCJrUCv9c502miXQ%40mail.gmail.com.
set the milestone to duplicate/invalid/wontfix
and give it positive review, with an explanation in a comment.
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.