Stream: git-cranelift

Topic: cranelift / PR #1313 Derive Ord for all entities

GitHub (Dec 27 2019 at 14:38):

bjorn3 opened PR #1313 from patch-2 to master:

• [x] This has been discussed in issue #..., or if not, please tell us why
  here. Small change

• [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 is necessary to store them in BTreeMap and BTreeSet.

• [x] 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.

GitHub (Dec 27 2019 at 21:00):

sstangl submitted PR Review.

GitHub (Jan 22 2020 at 16:49):

bjorn3 updated PR #1313 from patch-2 to master:

• [x] This has been discussed in issue #..., or if not, please tell us why
  here. Small change

• [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 is necessary to store them in BTreeMap and BTreeSet.

• [x] 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.

GitHub (Jan 22 2020 at 17:18):

bnjbvr merged PR #1313.

Last updated: Nov 22 2024 at 16:03 UTC