release-v4.2.5

Olivier Sauter

@osauter

7c7a1c43 · Merge branch 'small_fixes' into 'master' · Sep 12, 2019

small fix for dim when empty