Revision 096f56f2eafbd0fe42d851eaf0424a078f0a1f53

Committed on 08/07/2016 3:42 am by Henning Kvinnesland <henning@byte.no> [GitHub Diff]

WIP.