Just in case someone noticed there wasn't an un-freeze message and is holding back some commits, this is it: master is not freezed anymore (it kind of thawed by itself :-)). Andrei