portal: Fix broken header guard
This wouldn't have caused an issue with the current header contents, but could have triggered a future bug.
parent
681980d3
Please register or sign in to comment
This wouldn't have caused an issue with the current header contents, but could have triggered a future bug.