Fix coverity #29405: Unchecked dynamic_cast
[supertux.git] / external / obstack /
2009-11-17 Ingo RuhnkeMerged changes from branches/supertux-milestone2-grumbe...