Skip to content

drop unused SISDEINT code path

This never had been enabled since it's incarnation back two decades ago.

Fixes: b41edc0a

Merge request reports