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