fix #5676
authorChristian Grothoff <christian@grothoff.org>
Sat, 6 Apr 2019 15:01:46 +0000 (17:01 +0200)
committerChristian Grothoff <christian@grothoff.org>
Sat, 6 Apr 2019 15:01:46 +0000 (17:01 +0200)
commita15e470f0d6af177d2f699ce5dbd2c549a73ff59
tree0c2842d8cbe3bf9232da0468ecf0f8b94242743b
parentc78568d583635b361e785b5c0f9ec21b89b1792b
fix #5676
configure.ac
contrib/Makefile.am