Skip to content

Adding /dev/tty[0-9]* and /dev/pts/[0-9]* to various profiles; update… #726

Adding /dev/tty[0-9]* and /dev/pts/[0-9]* to various profiles; update…

Adding /dev/tty[0-9]* and /dev/pts/[0-9]* to various profiles; update… #726

The logs for this run have expired and are no longer available.