Hi,
I'd say let's make a 0.20.1 bugfix release soon. So we can release the fixes made since the 0.20 release for users.
If no one beats me by time, I'll create a 0.20.1 branch based on the 0.20 tag on Sunday and then we can backport relevant fixes.
Regards, Enrico