[Tutti-commits] branch release/3.13.12 updated (903662d -> 9682094)