Build #20 (May 6, 2021, 3:15:23 PM)

	Changes Backport memory leak fixes (#7443) (details / githubweb)
	Push event to branch maintenance/v1.17 at 3:15:08 PM on May 6, 2021
	Revision: bcf875b0eb44dbc671277f15c3b1783ff161df2c Repository: https://github.com/OpenModelica/OpenModelica.git maintenance/v1.17
	Test Result (no failures)
	Superseded by OpenModelica/maintenance%2Fv1.17#21