GitHub (Jan 19 2020 at 20:05): GitHub (Jan 19 2020 at 20:05):jyn514 edited PR #1358 from switch-deref to master:
- [x] This has been discussed in issue #1357
- [x] A short description of what this does, why it is needed;
This allows library users to see what entries already exist in a switch.
- [ ] This PR contains test cases, if meaningful.
N/A
- [ ] 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. The list of suggested reviewers on the right can help you.I am not sure who should review this PR. r? @bnjbvr
GitHub (Jan 19 2020 at 20:20):bjorn3 submitted PR Review.
GitHub (Jan 20 2020 at 13:28):bnjbvr submitted PR Review.
GitHub (Jan 20 2020 at 13:29):bnjbvr merged PR #1358.
Last updated: Dec 23 2024 at 13:07 UTC