https://bugs.launchpad.net/ubuntu/+source/gcc-4.8/+bug/1246802I suggest that we now remove the ifdefs for using boost::nth_element. The change was not made in a separate branch, so undoing it will require some digging. Anders: will you undo the change?
Garth _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
