On Wed 2018-10-03 17:20:02 +0200, Moritz Mühlenhoff wrote: > This is dead upstream and broken even in ESR, let's remove it > from the archive?
agreed, i've just filed a RM/ROM bug report (#913215) on custom-tab-width. --dkg
On Wed 2018-10-03 17:20:02 +0200, Moritz Mühlenhoff wrote: > This is dead upstream and broken even in ESR, let's remove it > from the archive?
agreed, i've just filed a RM/ROM bug report (#913215) on custom-tab-width. --dkg