Branch: refs/heads/master
  Home:   https://github.com/crosstool-ng/crosstool-ng
  Commit: 4acea9cc95db1c4f02bcfb52add9f4d4a736dc2a
      https://github.com/crosstool-ng/crosstool-ng/commit/4acea9cc95db1c4f02bcfb52add9f4d4a736dc2a
  Author: Alexey Neyman <stilor@att.net>
  Date:   2018-11-06 (Tue, 06 Nov 2018)

  Changed paths:
    M scripts/functions

  Log Message:
  -----------
  Fix detection of missing overlays

Signed-off-by: Alexey Neyman <stilor@att.net>


  Commit: 94e79672619ae0e45cf668d83648d00cf0a65096
      https://github.com/crosstool-ng/crosstool-ng/commit/94e79672619ae0e45cf668d83648d00cf0a65096
  Author: Alexey Neyman <stilor@att.net>
  Date:   2018-11-06 (Tue, 06 Nov 2018)

  Changed paths:
    M scripts/functions

  Log Message:
  -----------
  Merge pull request #1087 from stilor/pr-985

Fix detection of missing overlays


Compare: https://github.com/crosstool-ng/crosstool-ng/compare/c00822f46804...94e79672619a
      **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.