Skip to content

TrigCostMonitor: Fix flagging of unused parameter.

Unused parameters should just not be named.

Merge request reports