[riot-notifications] [RIOT-OS/RIOT] pkg/pkg.mk: Avoid doing a git fetch if we already have the commit. (#11491)

Juan I Carrano notifications at github.com
Tue May 7 11:34:49 CEST 2019

@jcarrano pushed 1 commit.

e695eb3c3e1273dfb235f736ebae0f2f02025f0b  fixup! it was all wrong.

You are receiving this because you are subscribed to this thread.
View it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190507/0bbb60d6/attachment.html>

More information about the notifications mailing list