Skip to content

portal: Fix broken header guard

This wouldn't have caused an issue with the current header contents, but could have triggered a future bug.

Merge request reports