
<html>


<head>


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


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


</head>


<body dir="ltr">


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


Hi,</div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


<br>


</div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


I've noticed that the <code>docs-lldb-html</code> is down for some time.<span style="color:rgb(0, 197, 199);font-family:Menlo, Monaco, Consolas, "Courier New", monospace;font-size:13px;text-align:left;background-color:rgb(0, 0, 0);display:inline !important"></span></div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


<br>


</div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


<a href="http://lab.llvm.org:8011/#/builders/80/builds/5838" id="LPlnk234291">http://lab.llvm.org:8011/#/builders/80/builds/5838</a><br>


</div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


It says:</div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


<span style="color:rgb(201, 27, 0);font-family:Menlo, Monaco, Consolas, "Courier New", monospace;font-size:13px;text-align:left;background-color:rgb(0, 0, 0);display:inline !important">ninja: error: unknown target 'docs-lldb-html', did you mean 'docs-llvm-html'?</span><br>


</div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


<span style="color:rgb(201, 27, 0);font-family:Menlo, Monaco, Consolas, "Courier New", monospace;font-size:13px;text-align:left;background-color:rgb(0, 0, 0);display:inline !important"><br>


</span></div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


This is just a heads-up, and I am not sure who can take a look into this issue.</div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


<br>


</div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


Best regards,</div>


<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


Djordje</div>


</body>


</html>