
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">

<html xmlns="http://www.w3.org/1999/xhtml">

<head>

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

  <meta http-equiv="Content-Style-Type" content="text/css" />

  <meta name="generator" content="pandoc" />

  <title></title>

  <style type="text/css">

      code{white-space: pre-wrap;}

      span.smallcaps{font-variant: small-caps;}

      span.underline{text-decoration: underline;}

      div.column{display: inline-block; vertical-align: top; width: 50%;}

  </style>

</head>

<body>

<p>Hi Steve,</p>

<p>On 2018-08-15 09:48, Steve Lhomme wrote:</p>

<blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;color:#500050">

<blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;color:#500050">

<pre><code> However unlikely that such mismatching would take place in practice, I am not a fan

 of the current implementation.</code></pre>

</blockquote>

<pre><code> If you mean that way of static as done 4 times above this code ? If you have something

 cleaner feel free to submit a patch.</code></pre>

</blockquote>

<p>No, I meant your implementation, not the <em>“4 times”</em> that includes one that I even cited as an example as a potential fix.</p>

</body>

</html>