kleros/kleros-v2

View on GitHub

Minor fixes
#1577

jaybuidl wants to merge fix/minor into dev

We do not currently have an analysis of these two commits