Duplicate PRs that can be closed

25 views
Skip to first unread message

Jesse Li

unread,
Mar 31, 2026, 8:00:20 AM (20 hours ago) Mar 31
to sympy
Hi SymPy maintainers,

First of all, a huge thank you for the work you do to try to handle the huge influx of PRs. 

I wanted to contribute a little bit to filtering; I've identified the following two PRs which I think are duplicates of others and can be closed accordingly:

Best regards,
Jesse Li
Reply all
Reply to author
Forward
0 new messages