mentioned in merge request !1540 (merged)
changed title from (Suggestion) Make pushable objects abide by sector types 13 and 14 to Take ramp sectors into account for pushables
closed with merge request !1540 (merged)
mentioned in commit 4b9d40b9
