The tag alias #56177 whipping_marks -> whip_mark has been approved.
Reason: Same thing, just worded differently. whip_marks also seems to be more common, so it makes sense to keep it.
EDIT: The tag alias whipping_marks -> whip_marks (forum #324688) has been approved by @bitWolfy.
Updated by auto moderator