pauloborges/goto — pull request #20 by rcaferraz (2013-04-16 21:14:06+00:00)
Title: Adding red highlighting to unknown labels in error messages (issue #19)

Patch for a small new feature in goto.