[taler-grid5k] 27/73: rename userlist

[gnunet]

This is an automated email from the git hooks/post-receive script.

marco-boss pushed a commit to branch master
in repository grid5k.

commit 5974781fd7c52892863c892c6ca140f2f61f5b47
Author: Boss Marco <bossm8@bfh.ch>
AuthorDate: Tue Nov 30 12:23:56 2021 +0100

    rename userlist
---
 configs/etc/pgbouncer/{userslist.txt => userlist.txt} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/configs/etc/pgbouncer/userslist.txt 
b/configs/etc/pgbouncer/userlist.txt
similarity index 100%
rename from configs/etc/pgbouncer/userslist.txt
rename to configs/etc/pgbouncer/userlist.txt

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.