[riot-notifications] [RIOT-OS/RIOT] VERSION: add 2019.07 version file (#11905)

MrKevinWeiss notifications at github.com
Thu Jul 25 10:48:36 CEST 2019


I tried to do it with the web interface and the merge commit message was there...  Then I rebased one of the old PRs that I had closed.

All good now.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/11905#issuecomment-514956936
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190725/39d8ff7e/attachment.htm>


More information about the notifications mailing list