Jikes 1.13 released

Mar 02, 2001, 06:14 (0 Talkback[s])

[ Thanks to Mo DeJong for this link. ]

Jikes 1.13 has been released. It's not a major release; it's a bug-fix release only.