v2.12.4
object a3f0653f7b4aba07119f88566c70445e8e1317be
authorPetr Pudlak <pudlak@google.com>
Tue, 12 May 2015 17:15:12 +0000 (19:15 +0200)
Release version 2.12.4