Totally agreed, that was a pretty braindead way of doing this :-)
Pushed r321 with the requested changes. Please re-review.
« Back to merge proposal
Totally agreed, that was a pretty braindead way of doing this :-)
Pushed r321 with the requested changes. Please re-review.