[gtk] Deleted branch cherry-pick-f431e28c
- From: Javier Jardón Cabezas <jjardon src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk] Deleted branch cherry-pick-f431e28c
- Date: Sat, 23 Nov 2019 08:15:54 +0000 (UTC)
The branch 'cherry-pick-f431e28c' was deleted.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]