Merge "Merge branch 'stable-5.0'"
commit63ed3ff7e0987251832be70bba1eb630148529c9
authorThomas Wolf <thomas.wolf@paranor.ch>
Sun, 24 Jun 2018 09:31:01 +0000 (24 05:31 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Sun, 24 Jun 2018 09:31:01 +0000 (24 05:31 -0400)
tree6c585a3e6cb3c233ab60da983a5d1c7532df25eb
parent6e31a25e68d7ce03d8e99347b386c6705d72f35e
parentfd7e3aad1db48fbe9d0a3b8ca00ad14fe46a1840
Merge "Merge branch 'stable-5.0'"