GitHub (Feb 13 2020 at 08:04): GitHub (Feb 13 2020 at 08:04):Y-Nak opened PR #1390 from misused-is-leaf to master:
- [x] This has been discussed in issue #1199.
[x] A short description of what this does, why it is needed;
Same as PR title.[x] This PR contains test cases, if meaningful.
- [x] A reviewer from the core maintainer team has been assigned for this PR.
If you don't know who could review this, please indicate so and/or ping
bnjbvr.
GitHub (Feb 13 2020 at 08:29):Y-Nak requested bnjbvr for a review on PR #1390.
GitHub (Feb 13 2020 at 10:02):bnjbvr submitted PR Review.
GitHub (Feb 13 2020 at 10:02):bnjbvr merged PR #1390.
Last updated: Dec 06 2025 at 05:03 UTC