[riot-notifications] [RIOT-OS/RIOT] print_toolchain_versions: print system and make's default shell. (#10991)

Juan I Carrano notifications at github.com
Mon Feb 11 18:40:17 CET 2019

@jcarrano pushed 1 commit.

f60a658d7260c6cfcd5246be7ca6d23e7a4fa3be  fixup! get shell version info

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/20190211/d1e4fca1/attachment.html>

More information about the notifications mailing list