The tag alias #62106 markus_(generaldegeneracy) -> markus_devore has been approved.
Reason: See topic #38309
EDIT: The tag alias markus_(generaldegeneracy) -> markus_devore (forum #364014) has been approved by @gattonero2001.
Updated by auto moderator