92110132

PR #1715
configure