Branch: refs/heads/feature/contributor-stats
  Commit: fed4b8fa5b845c764e30f4431be74d0a616a8693
  Author: Liviu Chircu <>
  Date:   2018-06-13 (Wed, 13 Jun 2018)

  Changed paths:
    M doc/

  Log Message:
  ----------- Fix minor issues

    * fix a mktemp bug, leading to lingering files
    * properly exit during paralell build: wait for all pids

      **NOTE:** This service been marked for deprecation:

      Functionality will be removed from on January 31st, 2019.
Devel mailing list

Reply via email to