
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<p></p>

<div style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px; margin-top: 0px; margin-bottom: 0px;">

Developers,</div>

<div style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px; margin-top: 0px; margin-bottom: 0px;">

<br>

</div>

<div style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px; margin-top: 0px; margin-bottom: 0px;">

My tests for <a href="https://gerrit.named-data.net/#/c/3934/" target="_blank" rel="noopener noreferrer">#3934</a> have failed on the same two OS (Ubuntu 14.04-64-bit and Code Coverage) each time I have pushed the patch. They work on my machine as well as the

 six other OS that Jenkins tests. Do you know why I might be having this issue?<a href="https://gerrit.named-data.net/#/c/3934/" target="_blank" rel="noopener noreferrer" id="LPlnk695885" previewremoved="true"><span id="LPlnk695885"></span></a></div>

<div style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px; margin-top: 0px; margin-bottom: 0px;">

<br>

</div>

<div style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px; margin-top: 0px; margin-bottom: 0px;">

Thanks,</div>

<div style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px; margin-top: 0px; margin-bottom: 0px;">

<br>

</div>

<div style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px; margin-top: 0px; margin-bottom: 0px;">

Damian</div>

<br>

<p></p>

</div>

</body>

</html>