GitHub (Jan 19 2020 at 19:55): GitHub (Jan 19 2020 at 19:55):jyn514 opened 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:05):jyn514 updated 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
Last updated: Oct 23 2024 at 20:03 UTC