[gnutls-devel] libtasn1 | CI updates (!10)

[Development of GNU's TLS library]

Nikos Mavrogiannopoulos created a merge request: https://gitlab.com/gnutls/libtasn1/merge_requests/10

Branches: tmp-ci-updates to master
Author:    Nikos Mavrogiannopoulos
Assignees: 


Minor CI updates.

## Checklist
 * [x] Code modified for feature

## Reviewer's checklist:
 * [ ] There is a test suite reasonably covering new functionality or modifications
 * [ ] Function naming, parameters, return values, types, etc., are consistent with other code
 * [ ] This feature/change has adequate documentation added
 * [ ] No obvious mistakes in the code

-- 
Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/libtasn1/merge_requests/10
You're receiving this email because of your account on gitlab.com.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.gnupg.org/pipermail/gnutls-devel/attachments/20190710/1c3a793e/attachment.html>