New: fix repo damage caused by history rewrite this morning
Version bump
Merge branch 'release/1.4.0'
Merge tag '1.4.0' into develop

Tagged 1.4.0 for release