Ok, since this took quite some time, we published not a patch release but rather a minor release, you can see it here: