Code

Add bot username AriZernerBot#2705

Code

Merged

IanPhilips merged 2 commits intomanifoldmarkets:mainmanifoldmarkets/manifold:mainfrom Ari-Zerner:patch-1Ari-Zerner/manifold:patch-1Copy head branch name to clipboardJul 16, 2024

+1

Commits

Commits on Jul 5, 2024

• Add bot username AriZernerBot

  Ari-Zerner

  authored
  f5d9cd5

Commits on Jul 16, 2024

• Merge branch 'main' into patch-1

  IanPhilips

  authored
  73d1ba3