Merge branch 'v0.13.4-release-notes' into 'Current-dev'

V0.13.4 release notes

See merge request !195
7 jobs for Current-dev in 11 minutes and 58 seconds (queued for 1 minute and 10 seconds)
Status Name Job ID Coverage
  Build
passed Linux32-snapshot #6214
linux32

00:01:52

passed Linux64-snapshot #6213
linux64

00:01:43

passed Osx-dmg-snapshot #6217
osx

00:01:43

passed Osx-snapshot #6216
osx

00:01:52

passed RaspberryPi-snapshot #6215
raspi

00:01:23

passed Win32-snapshot #6212
windows

00:02:22

passed Win64-snapshot #6211
windows

00:02:38