In the list of changed files for a pull request on github, a couple of files have this symbol at the end of the file:
Both are in the format of:
foo
bar
etc
---
They are ROS .srv files with an empty response (which is allowed). Is this github thinking the file should end in a newline? I've never seen this symbol before.
