Closed sderr closed 12 years ago
4 commits, the 3 first together fix a real-world bug. The fourth tries to make the code nicer. (but more correct also :)
4 commits, the 3 first together fix a real-world bug. The fourth tries to make the code nicer. (but more correct also :)