K 10 svn:author V 6 amdmi3 K 8 svn:date V 27 2016-02-18T20:36:39.951729Z K 7 svn:log V 75 - Update to 2.12.3 PR: 206412 Submitted by: rhurlin@gwdg.de (maintainer) END