<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html;
      charset=windows-1252">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p><br>
    </p>
    <div class="moz-cite-prefix">On 14/01/2019 12:55, Ron wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:B0522143-49E1-4166-8885-C6FB4D2EECC0@entropysolution.com">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      <br>
      <div class=""><br class="">
      </div>
      <div class="">We can share the traces taken and the configurations
        used if needed.</div>
      <div class=""><br class="">
      </div>
      <br class="Apple-interchange-newline" style="color: rgb(0, 0, 0);
        font-family: Helvetica; font-size: 12px; font-style: normal;
        font-variant-caps: normal; font-weight: normal; letter-spacing:
        normal; orphans: auto; text-align: start; text-indent: 0px;
        text-transform: none; white-space: normal; widows: auto;
        word-spacing: 0px; -webkit-text-stroke-width: 0px;">
    </blockquote>
    <p>Oh wait.. you already did that before.. <br>
    </p>
    <p>I'll take a look.</p>
    <p>k/</p>
    <p><br>
    </p>
  </body>
</html>