[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 0/1] wmctrl: Update URL
|
From: |
Ludovic Courtès |
|
Subject: |
Re: [PATCH 0/1] wmctrl: Update URL |
|
Date: |
Tue, 29 Dec 2015 12:31:03 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Leo Famulari <address@hidden> skribis:
> On Sat, Dec 26, 2015 at 01:58:29AM -0500, Leo Famulari wrote:
>> Our wmctrl package has been broken due a bad source URI.
>>
>> This updates to the new URL.
>>
>> Leo Famulari (1):
>> gnu: wmctrl: Update source URL.
>>
>> gnu/packages/xdisorg.scm | 2 +-
>> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> The source hash is the same, so, pushed as d642053386.
Thanks, and thanks for all the other URL-fixing changes! I think such
fixes can be pushed directly.
Ludo’.