Release 0.14: tagging released revision
Authored by: grubert 2017-08-03
Parent: [r8149]
Child: [r8151]