[midPoint-git] [Evolveum/midpoint] 2f1492: ninja37 dependency switched to 3.7.2 release

[Radovan Semancik]

  Branch: refs/heads/post-3.8-fixes
  Home:   https://github.com/Evolveum/midpoint
  Commit: 2f14924ca20813dbcb77e69edbfb3fc13d89184f
      https://github.com/Evolveum/midpoint/commit/2f14924ca20813dbcb77e69edbfb3fc13d89184f
  Author: Radovan Semancik <radovan.semancik at evolveum.com>
  Date:   2018-06-11 (Mon, 11 Jun 2018)

  Changed paths:
    M dist/pom.xml

  Log Message:
  -----------
  ninja37 dependency switched to 3.7.2 release



      **NOTE:** This service 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.