<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Hi Jakob,<div><br><div><div>On 03 Feb 2015, at 22:40 , Jakob Gruber <<a href="mailto:jakob.gruber@gmail.com">jakob.gruber@gmail.com</a>> wrote:</div><blockquote type="cite"><p dir="ltr">what about Picmi, did you give it a try as well?</p></blockquote></div>yes, but last time was already a while ago (it failed to build back then)</div><div>and today I simply forgot to add it to my list...</div><div><br></div><div>OKAY, so I tried again just now and can report that</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span>1) it built just fine</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span>2) I could click around and fill out the game’s board</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span>3) the game unfortunately crashed at exit</div><div><br></div><div>Shall I send the crash log via PM or better create a bug report for it?</div><div><br></div><div>Best regards,</div><div>Marko</div></body></html>