log

age author description
Fri, 14 Jun 2013 19:13:32 +0200 Christian Haeubl Merge.
Fri, 14 Jun 2013 19:12:56 +0200 Christian Haeubl Fixed a few race conditions in the compilation queue.
Fri, 14 Jun 2013 15:52:59 +0200 Christian Haeubl Fixed an issue concerning statistics for OSR compilations.