Merge pull request #7217 from neheb/pico
authorHannu Nyman <hannu.nyman@iki.fi>
Mon, 22 Oct 2018 19:43:33 +0000 (20:43 +0100)
committerGitHub <noreply@github.com>
Mon, 22 Oct 2018 19:43:33 +0000 (20:43 +0100)
picocom: Backport upstream fix for x86


Trivial merge