Update release notes
Add differences since last update by using
git log --format=oneline 42daa29532d7b882d850935e19368a795dbb3311..HEAD
For a full list since the last release, see
git log --format=oneline 1dba82d5820b75db0ea7aae1bf7877de9a8a1dc0..HEAD