[plt-dev] Release for v4.2.2 has begun

On Sep 17, Eli Barzilay wrote:
> 
> If you have any bug-fixes and changes that need to go in the release
> then make sure you specify that in the commit message or mail me the
> revision numbers.  [...]

Reminder: when you commit stuff, please indicate if it should be
included branch -- either in the commit message or in a followup
email.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!