<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Apr 17, 2013 at 9:36 PM, Ryan Culpepper <span dir="ltr">&lt;<a>ryanc@ccs.neu.edu</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">* Robby Findler &lt;<a>robby@eecs.northwestern.edu</a>&gt;<br>



  - DrRacket Tests</blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
  - Framework Tests<br>
  - Contracts Tests</blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
  - Games Tests<br>
  - Teachpacks Tests: image tests<br>
  - PLaneT Tests </blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
  - Redex Tests<br></blockquote><div><br></div><div><br></div><div style>Done.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

  Updates:<br>
  - DrRacket Updates: update HISTORY<br>
  - Redex Updates: update HISTORY<br></blockquote><div><br></div><div style>Please include commit 5a3a5edc9a4eab2c6723a4b31fb7d6750e2af37c.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

  (updates should show v5.3.4 as the most current version)<br>
  - Ensure that previous version of DrRacket&#39;s preference files still<br>
    starts up with new DrRacket<br>
  - Update man pages in racket/man/man1: drracket.1<br></blockquote><div><br></div><div style>Done</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

  Email me to pick the changes when they&#39;re done, or tell me if there<br>
  are no such changes.<br><br></blockquote><div><br></div><div style></div></div><br></div><div class="gmail_extra" style>Robby</div></div>