<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Aug 4, 2014 at 8:12 PM, Zoltan Somogyi <span dir="ltr"><<a href="mailto:zoltan.somogyi@runbox.com" target="_blank">zoltan.somogyi@runbox.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The review is more for the idea than the change itself. Does anyone object to removing MPS?<br></blockquote><div><br></div>
<div>I'm fine with removing it.  AFAIK, no-one has used MPS with Mercury since about 2002.  From the</div><div>looks of it MPS itself has changed quite a bit so it's not clear that the existing code we have to support</div>
<div>it would be very useful anyway.</div><div><br></div><div>Cheers,</div><div>Julien.</div></div></div></div>