Merge the release branch into master
Check before merging:
git diff develop... -U0 --no-color | clang-format-diff.py -p1 -i
01:10:42
5 years ago
No artifacts found
01:37:09