<!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">

<p style="color: #777777;">
<a href="https://gitlab.com/rockdaboot">Tim Rühsen</a>
commented:
</p>
<div style="">
<p dir="auto">I made a fix in commit <a href="https://gitlab.com/gnutls/gnutls/commit/af202aacd4756452e52e40f673e8d7505e336b35" data-original="af202aac" data-link="false" data-link-reference="false" data-project="179611" data-commit="af202aacd4756452e52e40f673e8d7505e336b35" data-reference-type="commit" data-container="body" data-placement="bottom" title="Fix output size check in _gnutls_buffer_pop_data()" class="gfm gfm-commit has-tooltip">af202aac</a> in <a href="https://gitlab.com/gnutls/gnutls/merge_requests/1092" data-original="!1092" data-link="false" data-link-reference="false" data-project="179611" data-merge-request="39222415" data-project-path="gnutls/gnutls" data-iid="1092" data-mr-title="Fix coverity in lib/" data-reference-type="merge_request" data-container="body" data-placement="bottom" title="" class="gfm gfm-merge_request">!1092</a></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/844#note_229648392">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/656475bf280227b3dfe5cb55c3c5aacc/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/844#note_229648392"}}</script>


</p>
</div>
</body>
</html>