Merge branch 'master' into dev

This commit is contained in:
daan 2019-09-02 10:24:23 -07:00
commit 21f7119920

View File

@ -57,6 +57,7 @@ Enjoy!
### Releases ### Releases
* 2019-08-10, `v1.0.6`: pre-release 6: various performance improvements. * 2019-08-10, `v1.0.6`: pre-release 6: various performance improvements.
* 2019-09-01, `v1.0.8`: pre-release 8: more robust windows dynamic overriding, initial huge page support.
# Building # Building