[riot-notifications] [RIOT-OS/RIOT] sys/shell: Exit the shell on ctrl-D (#10788)

Martine Lenders notifications at github.com
Thu Sep 19 09:50:30 CEST 2019

 > I mean grep says it's not that many changes and all of them are simply adding a while(1) loop which should be trivial to review.

Nevertheless, it's a moving target, as new tests or examples might introduce additional calls. In my experience those are the real trouble, as behavioral changes like this might take a while to settle for devs used to the current behavior. 

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...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190919/c697ac52/attachment.htm>

More information about the notifications mailing list