K 10 svn:author V 5 arved K 8 svn:date V 27 2020-05-28T17:50:08.960819Z K 7 svn:log V 75 Update to 0.8.2 Main feature is fix for boost 1.70, which we already had. END