A few fixes related to record/replay recently pushed in
authorFilippo Gioachin <gioachin@uiuc.edu>
Thu, 11 Feb 2010 00:21:41 +0000 (18:21 -0600)
committerFilippo Gioachin <gioachin@uiuc.edu>
Thu, 11 Feb 2010 00:21:41 +0000 (18:21 -0600)
Merge commit 'charm/charm' into development


Trivial merge