hack for player-lobby and Res<Player> race?

2026-02-08 23:47:57 -08:00 · 2026-02-08 23:47:57 -08:00 · ce84478376
commit ce84478376
parent 9f6a5b6423
34 changed files with 517 additions and 1330 deletions
--- a/devenv.lock
+++ b/devenv.lock
@ -3,10 +3,10 @@
    "devenv": {
      "locked": {
        "dir": "src/modules",
-        "lastModified": 1770399425,
+        "lastModified": 1770666213,
        "owner": "cachix",
        "repo": "devenv",
-        "rev": "0f006b2e9f591cc44cf219048b5e33793530403b",
+        "rev": "d4ffee46c9088df6e000470b998a2d2c16517f62",
        "type": "github"
      },
      "original": {
@ -125,10 +125,10 @@
        ]
      },
      "locked": {
-        "lastModified": 1770520253,
+        "lastModified": 1770606655,
        "owner": "oxalica",
        "repo": "rust-overlay",
-        "rev": "ebb8a141f60bb0ec33836333e0ca7928a072217f",
+        "rev": "11a396520bf911e4ed01e78e11633d3fc63b350e",
        "type": "github"
      },
      "original": {