[riot-commits] [RIOT-OS/RIOT] 47a336: Release 2018.07: set release VERSION

Martine Lenders authmillenon at gmail.com
Mon Aug 13 15:10:13 CEST 2018


  Branch: refs/heads/2018.07-branch
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 47a336742364ba440ea59085316f7e63eac917c2
      https://github.com/RIOT-OS/RIOT/commit/47a336742364ba440ea59085316f7e63eac917c2
  Author: cladmi <gaetan.harter at fu-berlin.de>
  Date:   2018-08-13 (Mon, 13 Aug 2018)

  Changed paths:
    A VERSION

  Log Message:
  -----------
  Release 2018.07: set release VERSION

Set the RIOT_VERSION from VERSION file to have it coherent when building from
the release archive.


  Commit: 7f547a6c0fd835e9011afda5ae31d8afcb1e0d87
      https://github.com/RIOT-OS/RIOT/commit/7f547a6c0fd835e9011afda5ae31d8afcb1e0d87
  Author: Martine Lenders <authmillenon at gmail.com>
  Date:   2018-08-13 (Mon, 13 Aug 2018)

  Changed paths:
    A VERSION

  Log Message:
  -----------
  Merge pull request #9767 from cladmi/pr/release.2018.07/version

Release 2018.07: set release VERSION


Compare: https://github.com/RIOT-OS/RIOT/compare/318b6ea09c0a...7f547a6c0fd8
      **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