server.c: Fix double "the" in comment.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 28 Aug 2021 14:43:45 +0000 (16:43 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 30 Aug 2021 18:36:10 +0000 (20:36 +0200)
commit12f3368848dadafec9f00a137feff7f3597939be
treee72562144a476564a36b9a1574bb327d468e9082
parentc75c35b176cdacf157d27617e954961c88f33975
server.c: Fix double "the" in comment.

Found by the vim spell checker.
server.c