Dev -> Master (version 202003)
The dev
branch has been cleaned and is ready for merging.
Once merged, it needs to be tagged (202003) and an update on HAL will be needed.
We are currently updating Gitlab. Brace yourselves.
The dev
branch has been cleaned and is ready for merging.
Once merged, it needs to be tagged (202003) and an update on HAL will be needed.