2012/5/25 Stefan Knorr (Astron) <span dir="ltr">&lt;<a href="mailto:heinzlesspam@googlemail.com" target="_blank">heinzlesspam@googlemail.com</a>&gt;</span><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Michael,<br>
<br>
I have no idea if that&#39;s deliberate, of course, but I&#39;d say your<br>
change is fine, given that we don&#39;t really support Galaxy.</blockquote><div><br></div><div>+1</div></div>