Merge branch '2020-06-15T12_25_26_171555' into 'master'

2020 06 15 t12 25 26 171555

See merge request !9
Status Job ID Name Coverage
  Check Schemas
failed #9116
checkASN1

00:00:06

 
Name Stage Failure
failed
checkASN1 Check Schemas
103280/TS_103_280.asn1: OK
103280/portal/TS_103_280_v020301.asn1: OK
-----------------------------
ASN.1 Compilation:
-----------------------------
Compilation OK
-----------------------------
1 parse errors, 0 compile errors
ERROR: Job failed: exit status 1