From 67a491896e14a12f85d336864138c21c6146aea0 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Fri, 22 Dec 2017 11:13:31 +0200 Subject: Add --enable-versioned-extension-dir configure option. --- extension/ChangeLog | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'extension/ChangeLog') diff --git a/extension/ChangeLog b/extension/ChangeLog index 830c6568..f7884019 100644 --- a/extension/ChangeLog +++ b/extension/ChangeLog @@ -1,3 +1,8 @@ +2017-12-20 Arnold D. Robbins + + * configure.ac: Add support for the --enable-versioned-dir option + in the main configure program. + 2017-12-19 Arnold D. Robbins * configure.ac: Add --disable-mpfr to be in sync with main -- cgit v1.2.3