Skip to content

Fix Ring laws; fixes #212#228

Merged
hdgarrood merged 1 commit intomasterfrom
ring-law-fix
Oct 6, 2020
Merged

Fix Ring laws; fixes #212#228
hdgarrood merged 1 commit intomasterfrom
ring-law-fix

Commits

Commits on Oct 3, 2020