<div dir="ltr"><div class="gmail_extra">ok great</div><div class="gmail_extra"><br></div><div class="gmail_extra">we&#39;re going to push the suggested change upstream.</div><div class="gmail_extra"><br></div><div class="gmail_extra">it should be in the nightly build on MNE tomorrow.</div><div class="gmail_extra"><br></div><div class="gmail_extra">thanks a lot</div><div class="gmail_extra"><br></div><div class="gmail_extra">Alex</div></div>