Revert "Merge branch '1_3_2_patch_increment' into 'master'"

pipeline broke upon approving merge, reverting temporarily. This reverts merge request !15 (merged)