David Nadlinger d523be3010 Added explanation for commit 9b80037. ...

Such uncommented changes to the frontend are potentially a huge
source of confusion during merging new frontend versions
(especially if the piece of code gets changed again before the
next upstream release).

2012-10-13 18:20:56 +02:00

154 KiB

Raw Blame History

View Raw