From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 13 Aug 2017 20:07:57 +0000 (+0200)
Subject: server: Combine user_list_init() and populate().
X-Git-Tag: v0.6.2~4^2~13
X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=0c35f5c1692909134436cedac65b7c872a0b0867;hp=0c35f5c1692909134436cedac65b7c872a0b0867;p=paraslash.git

server: Combine user_list_init() and populate().

The latter is only called by the former, and both are short enough.
---