add ability to ignore unknown pipe names #1393#1394

paulk-asert wants to merge 1 commit intojline:masterjline/jline3:masterfrom

paulk-asert:ignore_unknown_pipespaulk-asert/jline3:ignore_unknown_pipesCopy head branch name to clipboard