Björn Höfling <bjoern.hoefl...@bjoernhoefling.de> writes: > On Wed, 28 Nov 2018 00:24:15 +0100 > Björn Höfling <bjoern.hoefl...@bjoernhoefling.de> 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
