PATCHED Newly-Released PostgreSQL Minor Versions: Time To Update!