[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:
https://github.com/RIOT-OS/RIOT/pull/11491/files/a2e8b3e9e0840a7de844f937784744d356704523..e695eb3c3e1273dfb235f736ebae0f2f02025f0b
-------------- 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