tree 8b40f9f95b66213495b4088fbded1759c2bbf795
parent d2de34829e6a695bdeb5bfa8b36fb960a872e88c
author hasso <hasso> 1053893893 +0000
committer hasso <hasso> 1053893893 +0000

Sync with configure.in.