first merge to main 🚀 #71

Manually merged
philipp merged 491 commits from dev into main 2021-02-19 17:03:06 +00:00
Showing only changes of commit 854db4ece8 - Show all commits

View File

@ -10,7 +10,6 @@
export let current_users=[]; export let current_users=[];
$: advanced_search = false; $: advanced_search = false;
usersstore.subscribe((val) => { usersstore.subscribe((val) => {
userscache = val;
current_users=val; current_users=val;
}); });
users_promise.then((data) => { users_promise.then((data) => {