Events: Distribute user updates to servers.

Fix: Deleting a server now correctly deletes all associated objects.
This commit is contained in:
Paul
2021-07-28 13:40:03 +01:00
parent 7d3ce0c96a
commit 8f6e5be1d4
13 changed files with 142 additions and 201 deletions

View File

@@ -1,3 +1,3 @@
#!/bin/bash
export version=0.5.1-alpha.16
export version=0.5.1-alpha.17
echo "pub const VERSION: &str = \"${version}\";" > src/version.rs