Revision e5032e4408cf48c80afea07a971051cd3247ce85

Committed on 20/04/2017 10:23 am by Henning Kvinnesland <[email protected]> [GitHub Diff]

Bump version.