Subject: Re: [mumi] Some HTML elements don't respond to preferred color scheme when JS is disabled
From: Arun Isaac <[email-masked]>
To: [email-masked]
Cc: Luis Felipe <[email-masked]>
Date: Mon, 10 Jun 2024 12:44:49 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed as 858c2cd544084316f9df19b2e536059ff3070c35. Thanks! You should
see the change in https://issues.guix.gnu.org the next time it is
reconfigured.

Before pushing, I also updated the CSS timestamp. We do this to
invalidate browser caches.