The text ded26428b48f, as Debian 4.0 (Etch) shipped it.
report a bug in FVWM
fvwm-bug(1) on Linux now
