24 Aug
2018
24 Aug
'18
6:22 p.m.
We need to bump the base version to 4.12.1 to accommodate the StableName update. -- David Feuer Well-Typed