On Fri, 25 Oct 2013, Tobias Burnus wrote: > I have committed the patch below as obvious (Rev. 204049). > Seemingly, there are a lot of places which have to be updated > for a new OpenMP version ...
One way to address that is _not_ to refer to concrete versions unless specifically required. This is a bit similar to me reducing references to CVS (and then later SVN) on our web pages, or GNAT and Bugzilla, so that making a change there doesn't required that many documentation changes any more. Gerald
