Code

chore: use new HashMap#53

Code

Closed

kim-em wants to merge 3 commits intomasterleanprover-community/quote4:masterfrom bump_to_v4.11.0-rc3leanprover-community/quote4:bump_to_v4.11.0-rc3Copy head branch name to clipboard

Commits

Commits on Aug 29, 2024

• chore: bump to v4.11.0-rc3

  kim-em

  committed
  e18551d

  Copy full SHA for e18551d

Commits on Sep 3, 2024

• merge master

  kim-em

  committed
  1680fb3

  Copy full SHA for 1680fb3

• Merge remote-tracking branch 'origin/master' into bump_to_v4.11.0-rc3

  kim-em

  committed
  a6e6395

  Copy full SHA for a6e6395