Merge branch 'master' into develop

2020-03-15 17:08:15 +00:00 · 2020-03-15 17:08:15 +00:00 · 4cd08caf88
parent f5bd4a0285 4ff361ada2
commit 4cd08caf88
1 changed files with 1 additions and 1 deletions
--- a/Changelog.txt
+++ b/Changelog.txt
@ -1,4 +1,4 @@
-v0.7.2 (24 Feb 2020)
+v0.7.2b (25 Feb 2020)
 - Fixed a problem that prevented a connected MIDI piano keyboard from working.
 - cmake with no options now works correctly (cmake .. && make).
 - Removed the video optimisation setting.