root-mirror/root — pull request #14 by Dr15Jones (2014-03-21 14:01:14+00:00)
Title: Unify cint root mutex

Philippe, here's the pull that contains the change were I make gCintMutex and gROOTMutex point to the same mutex object. Make sure to only take the last commit in this change since most of the other changes are CMS specific.