Build #134 (Jan 5, 2021, 4:33:22 AM)

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

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