<!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/t184256">t184256</a>

commented:

</p>

<div style="">

<p dir="auto">Reopening this one because <a href="https://gitlab.com/tomato42" data-user="258094" data-reference-type="user" data-container="body" data-placement="bottom" class="gfm gfm-project_member" title="Hubert Kario (@mention me if you need reply)">@tomato42</a> suggests that it's worth being investigated anyway, as it's easier to detect and abort such behaviour than to test the possible bugs that could crop up in proceeding with such session.</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/828#note_213501670">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/a5dfd23c05a51b47615265aef8310f42/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/828#note_213501670"}}</script>

</p>

</div>

</body>

</html>