diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md index 20574183d7..186864aab4 100644 --- a/docs/CHANGELOG.md +++ b/docs/CHANGELOG.md @@ -1,4 +1,4 @@ -\page changelog Changelog + ## Release v1.2.4.12 [[view](https://github.com/p4lang/p4c/pull/4699)]