<div dir="ltr">On Fri, Jun 7, 2013 at 4:22 PM, Jim Rees <span dir="ltr"><<a href="mailto:rees@umich.edu" target="_blank">rees@umich.edu</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">Brian Mattern wrote:<br>
<br>
  The relevant openbox bug is<br>
  <a href="https://bugzilla.icculus.org/show_bug.cgi?id=5419" target="_blank">https://bugzilla.icculus.org/show_bug.cgi?id=5419</a><br>
  which refers to<br>
  <a href="https://github.com/danakj/openbox/commit/683749d3f38891c4073a9918381d8f18a9939dc2" target="_blank">https://github.com/danakj/openbox/commit/683749d3f38891c4073a9918381d8f18a9939dc2</a><br>
  as the fix commit.<br>
<br>
</div>I've got it as commit af01da31502b20300222213e693457320e4158e4 in<br>
git://<a href="http://git.openbox.org/dana/openbox" target="_blank">git.openbox.org/dana/openbox</a> . Am I using the wrong repo?<br><br></blockquote><div><br></div><div style>Hm.. not sure at all why github would have different hashes.  I push to both places at the same time. Both look like the right one.</div>

</div><br></div></div>