diff options
author | Marvin W <git@larma.de> | 2020-04-01 16:08:28 +0200 |
---|---|---|
committer | Marvin W <git@larma.de> | 2020-04-01 17:40:47 +0200 |
commit | 0af8526ab107fd4f1862db87cf26aff97940f322 (patch) | |
tree | d45b70e32a9f273c3de88ff1da5b28fbb2396a95 /libdino/src/service/blocking_manager.vala | |
parent | 2f52291be546b6fd68a1d8c4eb81978cb592a882 (diff) | |
download | dino-0af8526ab107fd4f1862db87cf26aff97940f322.tar.gz dino-0af8526ab107fd4f1862db87cf26aff97940f322.zip |
Work-around use after free
Upstream: https://gitlab.gnome.org/GNOME/vala/-/issues/751
Diffstat (limited to 'libdino/src/service/blocking_manager.vala')
0 files changed, 0 insertions, 0 deletions