Skip to content

Make external trigger search criterion more specific

Fixes #15 (closed).

Merge request reports