The tactic swap
now takes generalized code position.
#3410
Loading
swap
now takes generalized code position.
#3410