Skip to content

Fix and test `awp_apply` error message, and also use `tactic3` everywhere

Ralf Jung requested to merge ralf/awp_apply into master

Fixes a bad error message reported by @nrp364 in chat.

Edited by Robbert Krebbers

Merge request reports