tree 9e76d089f819e99fc7e57f3fb771af834cdc7c5a
parent 84641942e5366b2e09367ba4f4376c99f15ecc8e
author Denis Vlasenko <vda.linux@googlemail.com> 1227940985 -0000
committer Denis Vlasenko <vda.linux@googlemail.com> 1227940985 -0000

apply post-1.12.2 fixes, bump version to 1.12.3