<!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 data-premailer="ignore" type="text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
}
body {
font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";'>
<div class="content">
<p style="color: #777777;">
<a href="https://gitlab.com/jas">Simon Josefsson</a>
<a href="https://gitlab.com/gnutls/gnutls/-/issues/1419#note_1160824883">commented</a>:
</p>
<div class="md" style="color: #303030; word-wrap: break-word;">
<p dir="auto" style="color: #303030; margin: 0 0 16px;" align="initial">When we update gnulib (<a href="https://gitlab.com/gnutls/gnutls/-/merge_requests/1509" data-reference-type="merge_request" data-original="!1509" data-link="false" data-link-reference="false" data-project="179611" data-merge-request="134570857" data-project-path="gnutls/gnutls" data-iid="1509" data-container="body" data-placement="top" title="gnulib: update git submodule" class="gfm gfm-merge_request" style="margin-top: 0;">!1509</a>) there would be 'make indent' (which is configurable wrt parameters and which files to indent through cfg.mk) so no additional script would be needed, just some configuration in cfg.mk to chose -linux and maybe restrict some files from indentation if necessary.</p>
<p dir="auto" style="color: #303030; margin: 0;" align="initial">Do you agree with timing this just after 3.8.0? Or should we do it now? In the old times, doing this on a clean release is better, but with all things git these days, I'm not sure if this is important any more. Anyone can check out the commit before and confirm that 'make indent' results in the same code, if there is worry about introducing bugs. (Auditing 'indent' to not introduce bugs is another matter though...)</p>
</div>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #666;">
—
<br>
Reply to this email directly or <a href="https://gitlab.com/gnutls/gnutls/-/issues/1419#note_1160824883">view it on GitLab</a>.
<br>
You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://gitlab.com">gitlab.com</a>. <a href="https://gitlab.com/-/sent_notifications/2b23757a41a65905e30ebc524b207c4f/unsubscribe" target="_blank" rel="noopener noreferrer">Unsubscribe</a> from this thread · <a href="https://gitlab.com/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link">Manage all notifications</a> · <a href="https://gitlab.com/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Issue","url":"https://gitlab.com/gnutls/gnutls/-/issues/1419#note_1160824883"}}</script>
</p>
</div>
</body>
</html>