[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#35818] [PATCH] gnu: Use mirror://mate/ in source URIs.
From: |
Ludovic Courtès |
Subject: |
[bug#35818] [PATCH] gnu: Use mirror://mate/ in source URIs. |
Date: |
Fri, 24 May 2019 17:40:04 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) |
Hello,
Tobias Geerinckx-Rice <address@hidden> skribis:
> This opened 31 bugs in our patch tracker ;-) I've merged them all
> into this one.
The patches all LGTM, but I don’t think it makes sense to split them.
It’s a case where a single patch is more appropriate IMO, because this
is all logically the same change.
Could you merge them and send the resulting patch, Guy?
Thanks!
Ludo’.
- [bug#35818] [PATCH 24/31] gnu: mate-screensaver: Use mirror://mate/ in source URI., (continued)
- [bug#35818] [PATCH 24/31] gnu: mate-screensaver: Use mirror://mate/ in source URI., guy fleury iteriteka, 2019/05/21
- [bug#35818] [PATCH 25/31] gnu: mate-utils: Use mirror://mate/ in source URI., guy fleury iteriteka, 2019/05/21
- [bug#35818] [PATCH 26/31] gnu: eom: Use mirror://mate/ in source URI., guy fleury iteriteka, 2019/05/21
- [bug#35818] [PATCH 28/31] gnu: pluma: Use mirror://mate/ in source URI., guy fleury iteriteka, 2019/05/21
- [bug#35818] [PATCH 27/31] gnu: engrampa: Use mirror://mate/ in source URI., guy fleury iteriteka, 2019/05/21
- [bug#35818] [PATCH 30/31] gnu: mate-polkit: Use mirror://mate/ in source URI., guy fleury iteriteka, 2019/05/21
- [bug#35818] [PATCH 29/31] gnu: mate-system-monitor: Use mirror://mate/ in source URI., guy fleury iteriteka, 2019/05/21
- [bug#35818] [PATCH 31/31] gnu: mate-themes: Use mirror://mate/themes/ in source URI., guy fleury iteriteka, 2019/05/21
- [bug#35818] [PATCH] gnu: Use mirror://mate/ in source URIs., Tobias Geerinckx-Rice, 2019/05/21