<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Jun 19, 2017 at 12:54 PM, Eduardo Castiñeyra <span dir="ltr"><<a href="mailto:eduardo@brainstorm3d.com" target="_blank">eduardo@brainstorm3d.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000">
    I wasn't aware about a github forum until yesterday. If you move the
    list, just make sure you don't leave anyone behind :)<br>
    <br>
    To me, the list is a very useful way to know what's going on in hb,
    I learn form other people's questions and even I participate
    sometimes. I'm sure my participation would be reduced to zero if I
    wasn't subscribed and I would only go to github when I had a
    problem. <br>
    </div></blockquote><div><br></div><div>In github, you click one button to watch a repo or subscribe to an issue, and you will get email notifications of all activity.<br><br></div><div>Anyway, it's clear that the list will stay for now. :)<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000"><div><div class="h5"><div class="m_-3164086906290289881moz-cite-prefix">On 6/19/2017 7:15 AM, Behdad Esfahbod
      wrote:<br>
    </div>
    </div></div><blockquote type="cite"><div><div class="h5">
      <div dir="ltr">
        <div class="gmail_extra">
          <div class="gmail_quote">On Sat, Jun 17, 2017 at 6:26 PM,
            Werner LEMBERG <span dir="ltr"><<a href="mailto:wl@gnu.org" target="_blank">wl@gnu.org</a>></span> wrote:<br>
            <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="m_-3164086906290289881gmail-"><br>
                >> PS. Sometime I think about shutting down the
                list and using github<br>
                >> exclusively.  What do people think?<br>
                ><br>
                > If github is meant to be for issues with HarfBuzz,
                then the list is<br>
                > useful for where the issue may well be with the
                user rather than the<br>
                > package.<br>
                <br>
              </span>Exactly.  Use questions should be asked *here*, not
              on github.<span class="m_-3164086906290289881gmail-HOEnZb"><font color="#888888"><br>
                </font></span></blockquote>
            <div><br>
            </div>
            <div>People sometimes do ask questions on github, and so far
              it has not been a problem.<br>
              <br>
            </div>
            <div>In response to Deepak's point re archives, I definitely
              use list archives for future reference as well.  Github
              seems to be doing alright in search results as well.  Eg.:<br>
              <br>
                <a href="https://www.google.com/search?q=harfbuzz+cham+rendering" target="_blank">https://www.google.com/search?<wbr>q=harfbuzz+cham+rendering</a><br>
              <br>
            </div>
            <div>Anyway.  No action for now. :)<br>
            </div>
            <br>
          </div>
          -- <br>
          <div class="m_-3164086906290289881gmail_signature">behdad<br>
            <a href="http://behdad.org/" target="_blank">http://behdad.org/</a></div>
        </div>
      </div>
      <br>
      <fieldset class="m_-3164086906290289881mimeAttachmentHeader"></fieldset>
      <br>
      </div></div><span class=""><pre>______________________________<wbr>_________________
HarfBuzz mailing list
<a class="m_-3164086906290289881moz-txt-link-abbreviated" href="mailto:HarfBuzz@lists.freedesktop.org" target="_blank">HarfBuzz@lists.freedesktop.org</a>
<a class="m_-3164086906290289881moz-txt-link-freetext" href="https://lists.freedesktop.org/mailman/listinfo/harfbuzz" target="_blank">https://lists.freedesktop.org/<wbr>mailman/listinfo/harfbuzz</a>
</pre>
    </span></blockquote>
    <br>
  </div>

<br>______________________________<wbr>_________________<br>
HarfBuzz mailing list<br>
<a href="mailto:HarfBuzz@lists.freedesktop.org">HarfBuzz@lists.freedesktop.org</a><br>
<a href="https://lists.freedesktop.org/mailman/listinfo/harfbuzz" rel="noreferrer" target="_blank">https://lists.freedesktop.org/<wbr>mailman/listinfo/harfbuzz</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">behdad<br><a href="http://behdad.org/" target="_blank">http://behdad.org/</a></div>
</div></div>