goblint/analyzer — pull request #6 by VolkerStolz (2013-03-26 16:42:41+00:00)
Title: Use cat <<HERE, not echo

Straightforward (mostly to keep my git-fu up-to-date).