d79c27ce

By: ValentinHirschi <valentin.hirschi@gmail.com>

Remove trailing blank line from profiling control header
GitHub
configure