Bugfix: database user 'public users' should instead be 'public_user'

diff --git a/database/sql/reservation/base-first.sql b/database/sql/reservation/base-first.sql
index 3679f76f101f8830c2be41ed49b42c7b26ff9bd1..386a0fec5c62fec70e4caf23e0954a4bacab2c51 100644 (file)
--- a/database/sql/reservation/base-first.sql
+++ b/database/sql/reservation/base-first.sql
@@ -52,5 +52,5 @@ grant reservation_users to reservation_user;
 create role public_users;
 create role public_user;
 
-grant public_users to public user;
+grant public_users to public_user;