SuccessChanges

Summary

  1. Bug fixed in TestCodec_Pki (details)
Commit 6e49e2258eec8906590bef86577c75e04e8cdfcb by yann.garcia
Bug fixed in TestCodec_Pki
The file was modifiedttcn/AtsPki/ItsPki_TestCases.ttcn