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