Build #133 (Jan 5, 2021, 1:33:06 AM)

PR #172: pty: change the way we inte...

	GitHub pull request #172 of commit f1a650b5828f2e8af5ac8b1eb289f118c4157748, no merge conflicts.
	Revision: 5041cbe816e4c8a15ad4976af59c226990358f8c Repository: https://github.com/eclipse-cdt/cdt-infra refs/remotes/origin/master
	Revision: 119388778d7cca432aa3c6d964521d6be59d5f90 Repository: https://github.com/eclipse-cdt/cdt-gdb-adapter refs/remotes/origin/pr/172/merge
	Test Result (no failures)