Commit 06d6ada8173fa8bb650e2b3059dfaad1ca4e273e

Philipp Wiesemann 2017-04-02T21:33:02

Updated generated configure script.