Changelog

This commit is contained in:
David Robertson 2022-05-03 14:08:49 +01:00
parent 98867b3b5b
commit b820574531
No known key found for this signature in database
GPG key ID: 903ECE108A39DEDD

View file

@ -0,0 +1 @@
Adjust mathematical notation used in the description of state resolution to render better in browsers.