Skip to content

Do not display error message if poll yields EINTR#1868

Merged
dirk-thomas merged 2 commits intoros:melodic-develfrom Arusekk:eintrFeb 10, 2020
+4-1

Commits

Commits on Jan 24, 2020

Commits on Feb 8, 2020