Samuel Thibault Mon, 02 Feb 2015 02:17:17 -0800
BTW, it may be also useful in the crosshurd case, which has always been quite fragile so far.
Samuel