Good morning everyone. I would like to share my thoughts on the topic,
as I am personally frustrated with the current state and I considered
ways to improve it.
> Summary 1: not enough computing time
>
Compute less. This can be achieved by selecting a subset of packages to
be built, leaving the
Marek Paśnikowski writes:
>> Summary 1: not enough computing time
>>
>
> Compute less. This can be achieved by selecting a subset of packages to
> be built, leaving the rest to be compiled by users.
I don't think we should do that.
We have some useful information, though, to reduce the number
André Batista writes:
>> > Keeping this to i686-linux specifically, what generation of hardware
>> > supports i686 but not x86_64? Some (very) quick checking on wikipedia
>> > suggests that the x60 from 2006 was either 32-bit or 64-bit, and I
>> > believe there was an atom chip from 2015 that was
Hey,
It seems like the simple change I made to remove the endless
possibilities for manual URLs [1] has had some unintended consequences.
1:
https://git.savannah.gnu.org/cgit/guix/maintenance.git/commit/?id=3de9f2119371038650045946ba6e7de6e90f68e5
Some have been fixed, but the links from the we
Hello Christopher and again thank you for the initiative to get rid of
the duplicate locale in the URLs in maintenance.git.
After more thought, I suggest to only temporarily keep the optional
#:append-locale argument you added.
The problem is that @documentlanguage in Texinfo differs from the
loc
"pelzflorian (Florian Pelz)" writes:
> The problem is that @documentlanguage in Texinfo differs from the
> locale sometimes.
This was untrue. @documentlanguage is the locale, but the locale in the
URL assigned in htmlxref is not capitalized, because it is a URL (?).
(In fact, URLs are case-sensi
