[riot-commits] [RIOT-OS/RIOT] 28572d: core: mutex: fix DEBUG pointer output

[Kaspar Schleiser]

  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 28572d7d214c1945b45e299dd9c5e9335ba85697
      https://github.com/RIOT-OS/RIOT/commit/28572d7d214c1945b45e299dd9c5e9335ba85697
  Author: Martine Lenders <mail at martine-lenders.eu>
  Date:   2018-11-09 (Fri, 09 Nov 2018)

  Changed paths:
    M core/mutex.c

  Log Message:
  -----------
  core: mutex: fix DEBUG pointer output


  Commit: 92a2c1632f80b44b2174378d032b4378dac5d77f
      https://github.com/RIOT-OS/RIOT/commit/92a2c1632f80b44b2174378d032b4378dac5d77f
  Author: Kaspar Schleiser <kaspar at schleiser.de>
  Date:   2018-11-09 (Fri, 09 Nov 2018)

  Changed paths:
    M core/mutex.c

  Log Message:
  -----------
  Merge pull request #10354 from miri64/core/enh/fix-debug-msg

core: mutex: fix DEBUG pointer output


Compare: https://github.com/RIOT-OS/RIOT/compare/f3fa8b5ecd5f...92a2c1632f80
      **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.