-
Committer:
Uday S Reddy
-
Date:
2010-07-18 00:03:33 UTC
-
mfrom:
(849.1.10 thread-folding-fixes)
-
Revision ID:
u.s.reddy@cs.bham.ac.uk-20100718000333-v9mo7fshystipm69
Merged thread-folding-fixes branch, revno 859. Also updated documentation of thread-folding.