Maia Make update#10763

grootjans wants to merge 2 commits intodevelopmentmendix/docs:developmentfrom

maia-make-11-8mendix/docs:maia-make-11-8Copy head branch name to clipboard