GitHub (Dec 30 2019 at 09:38): GitHub (Dec 30 2019 at 09:38):philipc opened PR #1314 from target-lexicon to master:
Closes #1292
[x] This has been discussed in issue #1292, or if not, please tell us why
here.[x] A short description of what this does, why it is needed; if the
description becomes long, the matter should probably be discussed in an issue
first.[ ] This PR contains test cases, if meaningful.
- [ ] 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.
GitHub (Jan 07 2020 at 02:10):philipc updated PR #1314 from target-lexicon to master:
Closes #1292
[x] This has been discussed in issue #1292, or if not, please tell us why
here.[x] A short description of what this does, why it is needed; if the
description becomes long, the matter should probably be discussed in an issue
first.[ ] This PR contains test cases, if meaningful.
- [ ] 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.
GitHub (Jan 10 2020 at 10:30):bnjbvr submitted PR Review.
GitHub (Jan 10 2020 at 10:30):bnjbvr merged PR #1314.
Last updated: Nov 22 2024 at 17:03 UTC