<html><head></head><body><div>Hi Paul,</div><div><span><pre>[Removed bug mail here]</pre><pre><br></pre></span></div><div>On Thu, 2021-12-30 at 19:32 +0100, Paul Gevers wrote:</div><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"><div>Hi Abou,<br></div><div><br></div><div>On 30-12-2021 12:54, Abou Al Montacir wrote:<br></div><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"><div>Of course, even if Bug#997948 is solved, there will be always a time windows<br></div><div>where doublecmd can be scheduled for build while Lazarus is not yet built.<br></div><div>However this is a temporary situation that I won't solve.<br></div></blockquote><div><br></div><div>I think such time windows are OK, they happen regularly with other <br></div><div>transitions too. As long as we try to make sure these windows don't <br></div><div>exist unnecessarily long (by making sure rebuilds are triggered when <br></div><div>needed).</div></blockquote><div>Then do you agree with my proposal (below but sent in my previous ?</div><div><br></div><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"><pre class="message" style="font-family: monospace; padding-top: 8px; margin-top: 0px; border-top-width: 0px; white-space: pre-wrap; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: auto; word-spacing: 0px; -webkit-tap-highlight-color: rgba(0, 0, 0, 0.4); -webkit-text-stroke-width: 0px; background-color: rgb(254, 254, 254); text-decoration: none;">I advise, then, to close this ticket and let Bug#997948 open.</pre></blockquote></blockquote><pre style="caret-color: rgb(46, 52, 54); color: rgb(46, 52, 54); font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: auto; word-spacing: 0px; -webkit-tap-highlight-color: rgba(0, 0, 0, 0.4); -webkit-text-stroke-width: 0px; text-decoration: none;">-- <br></pre><pre style="caret-color: rgb(46, 52, 54); color: rgb(46, 52, 54); font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: auto; word-spacing: 0px; -webkit-tap-highlight-color: rgba(0, 0, 0, 0.4); -webkit-text-stroke-width: 0px; text-decoration: none;">Cheers,
Abou Al Montacir</pre><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"></blockquote></body></html>