Message 5562 - Darcs bug tracker

Author	droundy
Recipients	beschmi, dagit, droundy, gwright, kowey, tommy
Date	2008-08-17.14:14:15
Issue	Issue936 fix type witnesses configure check.

Content
Note that this is merely a bug in the configure script. --without-type-witnesses is treated as identical to --with-type-witnesses.

History
Date	User	Action	Args
2008-08-17 14:14:15	droundy	create
2008-08-17 14:14:16	droundy	link	issue936 messages
2008-08-17 14:14:16	droundy	set	recipients: + droundy, tommy, beschmi, kowey, dagit, gwright
2008-08-17 14:14:16	droundy	set	messageid: <1218982456.97.0.369714432894.issue936@darcs.net>

Message5562