kleros/kleros-v2

View on GitHub

Minor fixes
#1579

jaybuidl wants to merge fix/minor20240513 into dev

We do not currently have an analysis of these two commits