Revision fe83f741676cb00e75c3d6a652671a6e8dc847bf

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

New build.