<div dir="ltr">No problem. It was easy to tweak and re-run (and one lost day is not a big deal either).<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Sep 17, 2013 at 7:30 AM, Asumu Takikawa <span dir="ltr"><<a href="mailto:asumu@ccs.neu.edu" target="_blank">asumu@ccs.neu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 2013-09-17 06:15:42 -0600, Matthew Flatt wrote:<br>
> Yes, please treat missing package dependencies the same as any other<br>
> build error. Mistakes will happen, but they should be corrected as soon<br>
> as possible, even if it requires a stop-gap solution.<br>
<br>
</div>Whoops, sorry for breaking the snapshots. I thought undeclared<br>
dependencies were warnings and not errors.<br>
<br>
Cheers,<br>
Asumu<br>
</blockquote></div><br></div>