Re: Infrastructure | Manually delete gnome-build-meta branch gnome-3-32-webkit-2-26-3 (#270)

From: Andrea Veri <gitlab-issues gnome org>
To: gnome-infrastructure gnome org
Subject: Re: Infrastructure | Manually delete gnome-build-meta branch gnome-3-32-webkit-2-26-3 (#270)
Date: Wed, 11 Mar 2020 21:09:37 +0000

Title: GitLab

Issue was closed by Andrea Veri

References:
- Infrastructure | Manually delete gnome-build-meta branch gnome-3-32-webkit-2-26-3 (#270)
  - From: Michael Catanzaro