Board Bugs.old [context]
Sender Herve
Date Sun May 10 20:58:37 2015
To all
Subject Galaxy Captain
When you ram a ship you don't get a kill credit for it.