So shouldn't we just take a pragmatic approach and move it to non-free, with a changelog notice pointing to this bug then?
What can I do to make it happen? -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
