[PRQ#39523] Deletion Request for codimd-bin Accepted

[notify]

Request #39523 has been Accepted by blakkheim [1]:

CodiMD has renamed to HedgeDoc, hedgedoc is in [Community]

[1] https://aur.archlinux.org/account/blakkheim/