[Observe-commits] 03/03: La migration 4.0->4.0.1.1 plante sur PostgreSQL 8 (termine #7467) Merge branch 'feature/7467' into develop-4.x