revert last commit

1 job for typed-task-editor in 54 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
failed #56814
test

00:00:54

 
Name Stage Failure
failed
test Test
Setting up dirmngr (2.1.18-8~deb9u4) ...
Setting up build-essential (12.3) ...
Setting up gnupg (2.1.18-8~deb9u4) ...
Processing triggers for libc-bin (2.24-11+deb9u4) ...
$ bash ci-tests.bash
'/opt/clean/etc/IDEEnvs' -> '/opt/clean/etc/IDEEnvs.bak2'
ci-tests.bash: line 22: 4741 Segmentation fault (core dumped) cpm CreateBasicAPIExamples.prj
'/opt/clean/etc/IDEEnvs.bak2' -> '/opt/clean/etc/IDEEnvs'
ERROR: Job failed: exit code 1