
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <font face="Georgia">I've updated 69.251.218.6:9116/split with a

      shorter list of change sets that have large comments to better

      explore the alternatives.<br>

      <br>

      Cheers,<br>

      Bob<br>

    </font>

  </body>

</html>