Revision 096f56f2eafbd0fe42d851eaf0424a078f0a1f53

Committed on 08/07/2016 3:42 am by Henning Kvinnesland <[email protected]> [GitHub Diff]

WIP.