Speed up deleting of global user achievements.#2710

dlglin merged 1 commit into

openwebwork:WeBWorK-2.20openwebwork/webwork2:WeBWorK-2.20from

drgrice1:delete-global-user-achievement-speed-tweakdrgrice1/webwork2:delete-global-user-achievement-speed-tweakCopy head branch name to clipboard