|
From: | John Kehayias |
Subject: | Re: Who owns guix-mirror? |
Date: | Tue, 16 Aug 2022 14:51:06 +0000 |
Good to know the owners, and thanks for the mirror! I find a combination of the official repo, GH mirror, and a local copy gives me the right combination of easy searches that work well on each. So I almost always find what I need to copy :) John
[Prev in Thread] | Current Thread | [Next in Thread] |