Describe:  sync_20150203-15-g083dadd
Commit:    083dadd1b851f3b93dbd644546cc59832d79f9aa

Modifications:
                lang/nimrod/Makefile | 4 +++-
                1 file changed, 3 insertions(+), 1 deletion(-)

Log messages:

Fix fetch for lang/nimrod, but still mark BROKEN.


Reply via email to