<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Apr 18, 2014 at 8:08 AM, Georg Heppner <span dir="ltr"><<a href="mailto:heppner@fzi.de" target="_blank">heppner@fzi.de</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000">+1 for Jade <br>
    Could also make nice logos of jade turtle figurines.<div></div></div></blockquote></div><br>Also it should make everyone happy! The Star Wars nerds can call it ROS <i>Mara</i> Jade if they want...<br clear="all"><div>


<br></div>-j<br>
</div></div>