fix: force a release for a previous pull request (#1067)

Previous PR (#1066) was
pushed as a chore by mistake when a release was needed. Pushed this
empty commit to force a release.