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

Reply via email to