Changeset 40468

Timestamp:

Oct 25, 2007, 11:19:48 PM (15 years ago)

Author:

Dave Abrahams

Message:

Closes #1379. It would be good to have a much more principled approach;
see comments in the diffs for details.

(No files)