[Pollen-commits] 02/02: Merge tag '3.1.2' into develop