From a913a895c0af981c3f88326582c1d29a39e9fb94 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebastian=20Dr=C3=B6ge?= Date: Mon, 3 Jul 2023 10:46:01 +0300 Subject: [PATCH] Temporarily switch to a gir branch with updated dependencies Updating to latest gir requires various manual code changes and needs to be done separately, but this unbreaks the CI for now. Part-of: --- .gitmodules | 2 +- gir | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index 945c11fda..c36278b12 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "gir"] path = gir - url = https://github.com/gtk-rs/gir + url = https://github.com/sdroege/gir update = none [submodule "gir-files"] path = gir-files diff --git a/gir b/gir index 719372782..213af37c2 160000 --- a/gir +++ b/gir @@ -1 +1 @@ -Subproject commit 719372782330cb075642066a88ba975d53f19487 +Subproject commit 213af37c22d5c80a0ca9d6f2efbb839df0378e4f