Merge pull request '[TASK] group reservations in log to avoid near-duplicates' (#420) from group-reservations-in-log into main

Reviewed-on: #420
2024-04-23 21:11:42 +02:00
parent 32dee2c320 3abff08f61
commit 9aefc814a7
4 changed files with 44 additions and 7 deletions
--- a/src/model/user.rs
+++ b/src/model/user.rs
@@ -26,7 +26,7 @@ const REGULAR: i32 = 22000;
 const UNTERSTUETZEND: i32 = 2500;
 const FOERDERND: i32 = 8500;

-#[derive(FromRow, Serialize, Deserialize, Clone, Debug)]
+#[derive(FromRow, Serialize, Deserialize, Clone, Debug, Eq, Hash)]
 pub struct User {
    pub id: i64,
    pub name: String,