Closed bojobo closed 1 year ago
If possible, do not delete the dev
branch. I'll keep using it for such quick fixes or PRs which are so small, that I won't create a separate branch for it.
Surething! We will keep the development branch for development. It is also unprotected, you can do with it what you want.
Somehow
metrics.XMMMetricCollection
did not make it intomaster
. Re-added the file.