<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Probably we need to move back to <a href="http://jdom.org">jdom.org</a>. What activity metrics were you watching? Maybe we can just add those on <a href="http://jdom.org">jdom.org</a>.</div><div><br></div><div>-jh-</div><br><div><div>On Dec 13, 2012, at 8:58 AM, Rolf Lear wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><div><div><br></div><div>Github has suddenly stopped supporting downloads of binart files. Check the github blog:</div><div><br></div><div>https:github.com/blog</div><div><br></div><div>It appears that they are grandfathering existing files... but we won't be adding any new downloads later...</div><div><br></div><div>Any suggestions?</div><div><br></div><div>One obvious option is to use the base <a href="http://jdom.org">jdom.org</a> site, but it is harder to measure activity from there...</div><div><div style="font-size:75%;color:#575757"><br>Rolf<br></div></div> </div>_______________________________________________<br>To control your jdom-interest membership:<br><a href="http://www.jdom.org/mailman/options/jdom-interest/youraddr@yourhost.com">http://www.jdom.org/mailman/options/jdom-interest/youraddr@yourhost.com</a></blockquote></div><br></body></html>