0.3.3

Mario Werner

@mwerner

ba6e1ac2 · Merge branch 'release/0.3.3' · Sep 20, 2019

improved compatibility with older git versions