------- Comment #1 from bangerth at gmail dot com 2009-04-26 17:10 ------- Jakub, does your patch also fix PR 39875? Thanks W.
--
bangerth at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bangerth at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39889
