; Fix last change in whitespace.el.

This commit is contained in:
Eli Zaretskii 2022-06-11 14:02:29 +03:00
parent 52ad2b53cb
commit cbd2c87a5d