Merge remote-tracking branch 'upstream/main'

hugovk · Apr 24, 2024 · 9e0d18b · 9e0d18b
2 parents 2df2b8b + 975081b
commit 9e0d18b
Show file tree

Hide file tree

Showing 38 changed files with 997 additions and 439 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -1,4 +1,4 @@
-FROM docker.io/library/fedora:37
+FROM docker.io/library/fedora:40
 
 ENV CC=clang