server: remove useless casts
commit762da682e139f0231e79fd22e103651ba837ec96
authorDe Rais <derais@cock.li>
Thu, 1 Jun 2017 22:36:16 +0000 (1 18:36 -0400)
committerDe Rais <derais@cock.li>
Thu, 1 Jun 2017 22:36:16 +0000 (1 18:36 -0400)
treee18b7a02eedd1249f20e42be4e8fbd0197142840
parent3792b0e85cffca33bdad8d6b76ffaf8f84bfde8e
server: remove useless casts
sanitize-comment.c