<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Oct 2, 2016 at 4:15 AM, Eric Engestrom <span dir="ltr"><<a href="mailto:eric@engestrom.ch" target="_blank">eric@engestrom.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This reverts commit fc03ecfeaf5a10a8b84d366f24f02e<wbr>74ab03b145.<br>
<br>
Chad had already pushed the same change between me posting the patch and Jason<br>
pushing it: 44bcf1ffcced04fd7f2b (".gitignore: Ignore src/compiler/spirv2nir")<br>
<br>
CC: Chad Versace <<a href="mailto:chadversary@chromium.org">chadversary@chromium.org</a>><br>
CC: Jason Ekstrand <<a href="mailto:jason@jlekstrand.net">jason@jlekstrand.net</a>><br>
Signed-off-by: Eric Engestrom <<a href="mailto:eric@engestrom.ch">eric@engestrom.ch</a>><br></blockquote><div><br></div><div>Pushed.  Thanks!<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
---<br>
<br>
Jason:<br>
When I saw Chad's commit, I marked my patch as superseeded, and<br>
I expected pwclient would say something when you'd try to push it.<br>
Didn't it print a warning or something?<br></blockquote><div><br></div><div>I don't use pwclient. :-)  Really, statuses in patchwork don't actually mean anything.  It'd be better to send a reply to the mailing list.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
That might be something to add to the client, for anyone that sees this<br>
and knows enough about patchwork :)<br>
<br>
---<br>
 src/compiler/.gitignore | 1 -<br>
 1 file changed, 1 deletion(-)<br>
<br>
diff --git a/src/compiler/.gitignore b/src/compiler/.gitignore<br>
index f619567..5d30b4e 100644<br>
--- a/src/compiler/.gitignore<br>
+++ b/src/compiler/.gitignore<br>
@@ -4,4 +4,3 @@ subtest-cr<br>
 subtest-cr-lf<br>
 subtest-lf<br>
 subtest-lf-cr<br>
-spirv2nir<br>
<span class="HOEnZb"><font color="#888888">--<br>
Cheers,<br>
  Eric<br>
<br>
</font></span></blockquote></div><br></div></div>