#5721 (Dec 12, 2019, 10:00:03 PM)

5.3.0 (2019-12) GA

	No changes.
	Started by timer
	Revision: 56d0460fa5f10995e59dda136fd730ae68d7bcb6 Repository: https://github.com/eclipse/gef.git origin/master
	Test Result (no failures)