[riot-notifications] [RIOT-OS/RIOT] pkg/pkg.mk: make sure we are building the correct commit. (#11129)
notifications at github.com
Sun Mar 17 09:05:25 CET 2019
ACK on my side.
@jcarrano could you squash please ?
> Why not define an "update-tools" target instead? That way you can be sure that you have up-to date tools for whatever version of RIOT you may be using.
This is an interesting idea, but I'm quite happy with this PR as it.
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications