dealii/dealii — pull request #234 by bangerth (2014-11-09 17:39:22+00:00)
Title: Allow using the old std_cxx1x namespace.

This was supposed to work in a backward compatible way but I broke
it for everyone who didn't explicitly #included the old base/std_cxx1x/*h
headers but got stuff through indirect #includes.