# HG changeset patch
# User Patrick Mezard <pmezard@gmail.com>
# Date 1266149151 -3600
# Node ID 7fbba0c04f92028c9a7c19f44753c2ba888b9cf2
# Parent  40dfd46d098f179518358b1233f3caa22f63d402# Parent  4f38d03d4975dc34be6b006df01fb77e95e05a7b
Merge with crew-stable