Skip to content

Bug Map

John Reppy edited this page Dec 10, 2023 · 1 revision

This page documents the mapping of the gforge bug numbers to the GitHub issues. There are two different maps; one for the legacy project and one for the [development project]](https://github.com/smlnj/smlnj). Issues marked as "[closed]" were closed in the gforge bug tracker before the migration.

Legacy Bug Map

Development Bug Map

Clone this wiki locally