GitLab

Binaries were being placed in objs/PlingBuilder/!Builder, when we wanted them
in PlingBuilder. Deploy was correctly identifying no changes in PlingBuilder
and hence not doing a merge request. Also fix Makefile so Messages is also in
INSTAPP_FILES as per instructions in CApp (required to correctly insert
version string in cross-compile case).

Version 0.30. Tagged as 'builder-0_30'

It's master of the repo on GitLab that is being deployed, not the local one...

Version 0.29. Tagged as 'builder-0_29'

Add arbitrary change to sources to ensure built binary differs, to ensure we
raise a merge request

Version 0.27 (deploy1.1). Tagged as 'builder-0_27-deploy1_1'

Version 0.28. Tagged as 'builder-0_28'

Version 0.26 (ci.1). Tagged as 'builder-0_26-ci_1'

Version 0.27. Tagged as 'builder-0_27'