Merge main into develop branch

building-envelope-data / api

API specification to exchange data about building envelopes

MIT License

3 stars 1 forks source link

Merge main into develop branch #284

Closed github-actions[bot] closed 2 years ago

github-actions[bot] commented 2 years ago

This pull request merges the main branch back into develop. This happens to ensure that the updates that happend on the release branch, in particular, CHANGELOG and manifest updates, are also present on the develop branch.