<!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=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<h3>
Nikos Mavrogiannopoulos
pushed new commits to merge request
<a href="https://gitlab.com/gnutls/gnutls/merge_requests/1177">!1177</a>
</h3>
<ul>
<li>
<a href="https://gitlab.com/gnutls/gnutls/commit/124f8a96">124f8a96</a>
- fuzzers: added ed448 keys
</li>
<li>
<a href="https://gitlab.com/gnutls/gnutls/commit/9bf69f83">9bf69f83</a>
- README-adding-traces.md: updated with more precise information
</li>
<li>
<a href="https://gitlab.com/gnutls/gnutls/commit/f38cc1ae">f38cc1ae</a>
- fuzz: fixed Ed448 fuzzer traces
</li>
</ul>
</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/merge_requests/1177">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/2962d12463ee8d1e8e64fa0421e9bd82/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 Merge request","url":"https://gitlab.com/gnutls/gnutls/merge_requests/1177"}}</script>
</p>
</div>
</body>
</html>