[Heads UP] PostgreSQL major update (10.1)

Hi,

PostgreSQL is now at version 10.1.
Don't forget to dump/restore your databases or use pg_upgrade.

Many thanks to jeremy@ for his help and to ajacoutot@ for the bulk !
Enjoy this new version !

Regards,