From: Georg Baum (Georg.Baum_at_[hidden])
Date: 2005-09-28 01:45:59


Douglas Gregor wrote:

> I've now fixed this problem in CVS. Thanks for the bug report!

Thanks for the fix!

Georg