server: Fix typo in comment.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 12 Aug 2017 23:13:38 +0000 (01:13 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 13 Aug 2017 19:19:59 +0000 (21:19 +0200)
Introduced in the lopsub conversion patch.


No differences found