Stream: PR reviews
Topic: 3395: QPF
Yury G. Kudryashov (Jul 19 2020 at 14:40):
I see that nobody reviews #3395. I hope that this is not because I left a few comments and now people think that I'm going to review it. This PR is far away from analysis, and my comments were about docstrings. In particular, after my comments @Simon Hudon rewrote the module docstring to make it clear for people like me that this is not for us.
Scott Morrison (Jul 19 2020 at 14:41):
Can @Mario Carneiro and/or @Jeremy Avigad review it? I don't think we're particularly worried about CoI. :-)
Rob Lewis (Jul 19 2020 at 14:49):
@Gabriel Ebner was working on this series but he's on vacation for the next week.
Jeremy Avigad (Jul 19 2020 at 23:36):
I'll review it tomorrow.
Last updated: May 07 2021 at 19:12 UTC