goblint/analyzer — pull request #9 by karbyshev (2013-04-08 17:04:22+00:00)
Title: Boolean flag that sets globs to top permanently.

Should be reviewed by Kalmer, I think.