Vadim Zeitlin e1185d8bf0 Increment version number to 3.1.3 ...

Done by running misc/scripts/inc_release, manually updating version.bkl,
rebaking and rerunning autoconf.

2018-12-10 19:06:18 +01:00

..

src

…

Makefile.in

…