]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
server: Combine user_list_init() and populate().
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 13 Aug 2017 20:07:57 +0000 (22:07 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 13 Mar 2018 02:28:56 +0000 (03:28 +0100)
The latter is only called by the former, and both are short enough.


No differences found