geodynamics/aspect — pull request #194 by bangerth (2014-09-01 19:31:07+00:00)
Title: Work around a problem with deallog when loading shared libs.

I have no idea how this happens, but the patch at least explains the symptoms...