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