On Tue, Oct 08, 2013 at 09:17:35AM +0200, Thomas Schwinge wrote: > Here are a few cleanup patches, mostly in the realm of OpenMP, so Jakub > gets a CC. OK to commit?
They look ok to me, but I'd prefer if they could go in after the merge
I've just posted.
Jakub
