<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg"><div class="gmail_quote gmail_msg"><div dir="ltr" class="gmail_msg"><br class="gmail_msg"></div><blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi everyone.<br class="gmail_msg">
<br class="gmail_msg">
Thanks to everyone on this list, and Pierre's patches in particular, we<br class="gmail_msg">
now have our masters running 0.9.3, with a couple, um, enhancements. In<br class="gmail_msg">
particular, we're using Pierre's patches to enable reconfiguration in<br class="gmail_msg">
the schedulers. My users thank you.<br class="gmail_msg"></blockquote></div></div></blockquote><div>I'm glad that this works for you BTW!</div><div> </div></div></div>