|
| From: | Valentin Villenave |
| Subject: | Re: remove merged branches & branches with tags |
| Date: | Wed, 27 May 2020 08:59:39 +0200 |
On 5/26/20, Jonas Hahnfeld <address@hidden> wrote: > Is this OK with everyone? Fine by me. -- V.
| [Prev in Thread] | Current Thread | [Next in Thread] |