Changeset 43953

Timestamp:

Mar 30, 2008, 6:25:26 PM (15 years ago)

Author:

Dave Abrahams

Message:

Undo the header re-ordering workaround now that the actual bug is fixed.
See ticket:1711, comment 24

(No files)