Zulip Chat Archive
Stream: PR reviews
Topic: renaming symmetric MvPolynomials #11251
Ruben Van de Velde (Mar 24 2024 at 21:43):
19 lines, has been sitting for two weeks already, if someone has a moment
Yaël Dillies (Mar 24 2024 at 21:45):
This one I had open in my tabs!
Matthew Ballard (Mar 24 2024 at 21:46):
@Yaël Dillies should I call off bors?
Yaël Dillies (Mar 24 2024 at 21:47):
Yes
Ruben Van de Velde (Mar 24 2024 at 21:59):
Addressed, back to you :)
Yaël Dillies (Mar 24 2024 at 21:59):
Happy with it! You can put it back on the queue
Matthew Ballard (Mar 24 2024 at 22:02):
Should be delegated now (after the twitchy trigger finger)
Last updated: May 02 2025 at 03:31 UTC