Instead of claiming they ninja patch it that way your first step was to report it as a bug and wait for a response.