<div dir="ltr">well, I closed it and created a new PR just for the help updates. If [midiclkin] is probably staying after all and the PR has a chance to not be merged, maybe I won't bother ;)<div><br></div><div>But if Miller decides it should go away, indeed, just say the word and I can go ahead and do the job.</div><div><br></div><div>cheers</div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-07-31 17:02 GMT-03:00 Alexandre Torres Porres <span dir="ltr"><<a href="mailto:porres@gmail.com" target="_blank">porres@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class="">2017-07-31 16:56 GMT-03:00 Dan Wilcox <span dir="ltr"><<a href="mailto:danomatika@gmail.com" target="_blank">danomatika@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><span><br></span></div><div>I have the feeling [midiclkin] will not be removed and, s IOhannes suggests, it's better to put the help file updates in a different PR.</div></div></blockquote><div><br></div></span><div>Ok, I'll do that! But I was also acting on Miller's request to remove it, and it also involves messing with help documentation. I'll just break them into two other requests.</div><div><br></div><div>cheers</div></div></div></div>
</blockquote></div><br></div>