tree 9831448e6e6823dc270bb1d303d39b108cd2d43b
parent 3cc3ec95a63f5575037c05990df7384001ce4be6
author Lars Vogel <Lars.Vogel@vogella.com> 1591907232 +0200
committer Lars Vogel <Lars.Vogel@vogella.com> 1591907433 +0200

4.17 update of org.eclipse.ui.console

For https://git.eclipse.org/r/164734

Change-Id: Ic0af7c457ebf3b9d90ca0decc07fcd8dd2d318e8