johannes 0ade7ef4c0 picocom: update to 3.1.
Closes: #11868 [via git-merge-pr]
2018-03-06 19:51:20 -08:00
..