[bug#74580] [PATCH 09/14] gnu: python-websockets: Update to 13.1.

[Nicolas Graves]

* gnu/packages/python-web.scm (python-websockets): Update to 13.1.
---
 gnu/packages/python-web.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/python-web.scm b/gnu/packages/python-web.scm
index c5ff14b4ee..4a409f535a 100644
--- a/gnu/packages/python-web.scm
+++ b/gnu/packages/python-web.scm
@@ -7126,7 +7126,7 @@ (define-public python-warcio
 (define-public python-websockets
   (package
     (name "python-websockets")
-    (version "13.0")
+    (version "13.1")
     (source
      (origin
        (method git-fetch)
@@ -7136,7 +7136,7 @@ (define-public python-websockets
        (file-name (git-file-name name version))
        (sha256
         (base32
-         "1brnaf1c4r9377p2npxpkik9ggqzmymvnnazdhw6s2wzfhlln8vv"))))
+         "1dx3rf6fmg4ir9cfcn1fil446qz879cwrjq2rcz5zvl71xkw6hb3"))))
     (build-system pyproject-build-system)
     (arguments
      (list #:phases
-- 
2.46.0