Merge branch 'master' into lars-algemeen

2017-01-20 12:48:22 +01:00
parent b6f6c44cea 1db998c1bd
commit a2846c392c
2 changed files with 4 additions and 4 deletions
--- a/website/queries/user.php
+++ b/website/queries/user.php
@@ -1,4 +1,5 @@
 <?php
+
 require("connect.php");

 function getUserID($username) {