Hi,
PR #38155 https://github.com/sagemath/sage/pull/38155 now got positive
review.
We hope that sage developers maintain the high quality of docstrings
established by the PR.
Thanks for attention.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" grou
On Thursday, July 4, 2024 at 1:02:27 PM UTC+9 Travis Scrimshaw wrote:
1: I don't know what you're basing this on. Things in Sage that affect the
whole community in any noticeable way have mostly been discussed on
sage-devel, with an exception perhaps with many of the things you have been
doing.
On Thursday, July 4, 2024 at 1:02:27 PM UTC+9 Travis Scrimshaw wrote:
3: You might think of them as such, but that doesn't mean other people do.
Not only did nobody else raise an issue with this vote, we have had
numerous votes in the past as a way to resolve such issues with a
disagreement.
