Closed cjwatson closed 2 years ago
Fix #135
I ran into this while trying to fix something else, and I noticed that the submitter of #136 hadn't replied to review comments for a couple of months. This is just a trivial extra commit on top of their PR which should make it landable.
Thanks for the patch and for the update.
This has been merged now.
Fix #135
I ran into this while trying to fix something else, and I noticed that the submitter of #136 hadn't replied to review comments for a couple of months. This is just a trivial extra commit on top of their PR which should make it landable.