Commit 881002370413c0a2f70531550923042da7e57df0

Philipp Wiesemann 2017-07-09T23:00:43

Updated generated configure script.