1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

github/pr: add missing newline at end of file

This commit is contained in:
cladmi 2018-08-22 13:22:53 +02:00
parent c2f1409d6c
commit cae9da6faa
No known key found for this signature in database
GPG Key ID: 76DF6BCF1B1F883B

View File

@ -33,4 +33,4 @@ Examples: Fixes #1234. See also #5678. Depends on PR #9876.
Please use keywords (e.g., fixes, resolve) with the links to the issues you
resolved, this way they will be automatically closed when your pull request
is merged. See https://help.github.com/articles/closing-issues-using-keywords/.
-->
-->