joerg 13f0ef6e30 Fix a bug in configure that matters 4.5 years later.		2010-01-09 16:55:09 +00:00
..
patch-aa