Vadim Zeitlin d1aa3d5663 Update the version to 3.1.5 ...

This was done by running misc/scripts/inc_release, bakefile_gen and
autoconf.

2020-07-23 16:25:39 +02:00

..

src

Update the version to 3.1.5

2020-07-23 16:25:39 +02:00

Makefile.in

…