Revision 49ea1b8e194e928702716179a5708a75104ad9c1

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

New build.