adriaanm opened this issue 12 years ago · 1 comments
substituted released version, now that jira urls etc all fully capture their queries
no longer happens in this repository. (could be a scala-dev issue instead)