Mise à jour de postgresql

Je vais tenter de mettre à jour le serveur de base de données dans l’après-midi.

Les services Diaspora* et Matrix seront coupés durant l’opération.