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.
