Björn Höfling <[email protected]> writes: > On Wed, 28 Nov 2018 00:24:15 +0100 > Björn Höfling <[email protected]> wrote: > >> With your question, I double checked that this is really dead and >> found in the bug tracker a link to a new, active fork: >> >> https://github.com/NicoHood/arc-theme >> > > Patch submitted as: > > https://debbugs.gnu.org/cgi/bugreport.cgi?bug=33546 > > Björn
Tested OK and merged. Thank you :-) Maxim
