Changelog

This commit is contained in:
David Robertson 2022-06-16 11:21:34 +01:00
parent de3f450286
commit 201b1933df
No known key found for this signature in database
GPG key ID: 903ECE108A39DEDD

View file

@ -0,0 +1 @@
Dummy changelog to make CI happy. Add a very hacky version switcher to navigate between different spec versions.