[riot-commits] [RIOT-OS/RIOT] d8bf97: 2018.10: add VERSION

José Alamos jialamos at uc.cl
Tue Nov 13 11:12:44 CET 2018


  Branch: refs/heads/2018.10-branch
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: d8bf97878ebde0fd544127e6205b2379f5500171
      https://github.com/RIOT-OS/RIOT/commit/d8bf97878ebde0fd544127e6205b2379f5500171
  Author: Jose Alamos <jose.alamos at haw-hamburg.de>
  Date:   2018-11-12 (Mon, 12 Nov 2018)

  Changed paths:
    A VERSION

  Log Message:
  -----------
  2018.10: add VERSION


  Commit: 15fbb0e1ed60fb2148663cf823e74e107f677fc3
      https://github.com/RIOT-OS/RIOT/commit/15fbb0e1ed60fb2148663cf823e74e107f677fc3
  Author: José Alamos <jialamos at uc.cl>
  Date:   2018-11-13 (Tue, 13 Nov 2018)

  Changed paths:
    A VERSION

  Log Message:
  -----------
  Merge pull request #10378 from jia200x/pr/version_2018.10

2018.10: add VERSION


Compare: https://github.com/RIOT-OS/RIOT/compare/4c810c20963f...15fbb0e1ed60
      **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.


More information about the commits mailing list