It's possible that the hack occurred earlier. It's very common for hacker bots to install an entry point without doing anything else (other than notifying the bot's user). Exploiting the entry point can come much later.
As noted now on GitHub, the patch was updated on 17th November, so possible you do not have the latest patch applied.