<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <font face="FreeSerif">There are 2 that I'd forgotten about, many
      months old. Apologies. What is the state of these? Shall we
      consider them still applicable?<br>
      <a class="moz-txt-link-freetext" href="https://github.com/crosswire/xiphos/pull/972">https://github.com/crosswire/xiphos/pull/972</a><br>
      <a class="moz-txt-link-freetext" href="https://github.com/crosswire/xiphos/pull/1007">https://github.com/crosswire/xiphos/pull/1007</a><br>
      The latter's comments indicate a problem with Travis interaction.
      I'm assuming that this is long resolved, whatever it was.<br>
      <br>
      Is the latter a superset of the former?<br>
      Well, no, the 2nd is only 12 files, the 1st is 24.<br>
      Fill me in on context and we'll either merge or discard.<br>
      <br>
      I have no problem moving to GTK_CHECK_VERSION, since it's the </font><font
      face="FreeSerif"><font face="FreeSerif">standard method.<br>
      </font></font>
  </body>
</html>