We didn't have the cycles to move over all the issues from JIRA to Github
yet. Searching for the ticket number works most of the time. In your
specific case migration didn't happen but there was a new PR that is fixing
the issue.
If there is any other JIRA ticket you would like to see migrated you can
just let us know of file one yourself
Thanks,
-- Serdar
On Sun, Jul 13, 2014 at 10:43 PM, Torben Knerr mail@tknerr.de wrote: