Vadim Zeitlin 2ec2837f6d Update version to 3.1.2 ...

Run misc/scripts/inc_release and rebake.

2018-02-20 00:08:01 +01:00

..

src

Update version to 3.1.2

2018-02-20 00:08:01 +01:00

Makefile.in

…