<div dir="ltr"><div>Hi Marcel, hi Chris,</div><div dir="ltr"><br></div><div dir="ltr">Am Fr., 5. Apr. 2019 um 08:41 Uhr schrieb Marcel Taeumel <<a href="mailto:marcel.taeumel@hpi.de">marcel.taeumel@hpi.de</a>>:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id="gmail-m_-6694070568809247560__MailbirdStyleContent" style="font-size:10pt;font-family:Arial;color:rgb(0,0,0)"><div>The Tools menu is *not* about installing tools but starting them.</div></div></blockquote><div><br></div><div>Sorry, that was my compromise proposal in the other thread.</div><div><br></div><div>Thank you Chris for considering to keep the items around somewhere. But it seems the discussion of where to put them is not over yet.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id="gmail-m_-6694070568809247560__MailbirdStyleContent" style="font-size:10pt;font-family:Arial;color:rgb(0,0,0)"><div><span style="font-size:10pt">In the long term, we should find ways to ship such infrastructure in releases without spoiling the (development) trunk.</span></div></div></blockquote><div><br></div><div>But if the infrastructure that "spoils" the trunk are development tools, why would you exempt them from the *development* trunk?</div></div></div>