K 10 svn:author V 3 jmd K 8 svn:date V 27 2019-08-07T21:14:59.394623Z K 7 svn:log V 89 devel/oclgrind: update to tip of repository Most notably fixes a bunch of memory leaks. END