On Apr 10, 2012, at 1:45, Mike Stump <mikest...@comcast.net> wrote:
> I assume that was a friendly, please feel free to fix *.ads as well. Yes, sorry for the terse email. I wasn't quite sure if your message implied there was only an issue with *.adb or not and wasn't in a position to check at that time. -Geert
