<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">

<html lang="en">

<head>

<meta content="text/html; charset=utf-8" http-equiv="Content-Type">

<title>

GitLab

</title>

<style>img {

max-width: 100%; height: auto;

}

</style>

</head>

<body>

<div class="content">

<div>

<p dir="auto">Thank you <a href="https://gitlab.com/codesquid" data-user="2759085" data-reference-type="user" data-container="body" data-placement="bottom" class="gfm gfm-project_member has-tooltip" title="Tim Kosse">@codesquid</a>. I've created <a href="https://gitlab.com/gnutls/gnutls/merge_requests/748" data-original="!748" data-link="false" data-link-reference="false" data-project="179611" data-merge-request="16460862" data-reference-type="merge_request" data-container="body" data-placement="bottom" title="updates in the high level verification API" class="gfm gfm-merge_request has-tooltip">!748</a> to address this. About issues (3) and (4), do you have a reproducer of these, or did you detect them via code review?</p>

</div>

</div>

<div class="footer" style="margin-top: 10px;">

<p style="font-size: small; color: #777;">

—

<br>

Reply to this email directly or <a href="https://gitlab.com/gnutls/gnutls/issues/552#note_101744597">view it on GitLab</a>.

<br>

You're receiving this email because of your account on gitlab.com.

If you'd like to receive fewer emails, you can

<a href="https://gitlab.com/sent_notifications/9390678754ff856d1486f5a1f0bc0196/unsubscribe">unsubscribe</a>

from this thread or

adjust your notification settings.

<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Issue","url":"https://gitlab.com/gnutls/gnutls/issues/552#note_101744597"}}</script>

</p>

</div>

</body>

</html>