v2.12.5
object aa0ed785236dae21a9bb389a4b05f5f7e310125b
authorPetr Pudlak <pudlak@google.com>
Mon, 13 Jul 2015 16:05:06 +0000 (18:05 +0200)
Release version 2.12.5