rust: update pinned gir tool to 0.15

This commit is contained in:
Luca BRUNO 2022-10-25 08:46:34 +00:00
parent 1258c371d6
commit 1e0e814f38
No known key found for this signature in database
GPG Key ID: A9834A2252078E4E

View File

@ -1,5 +1,5 @@
GIR_REPO := https://github.com/gtk-rs/gir.git
GIR_VERSION := e8f82cf63f2b2fba7af9440248510c4b7e5ab787
GIR_VERSION := c8a7a13d2c4d3a57ae646e38a821d57243cf7983
OSTREE_REPO := ../ostree
OSTREE_VERSION := patch-v2022.2
RUSTDOC_STRIPPER_VERSION := 0.1.17