From: Eric F. <ef...@ha...> - 2013-01-10 06:07:16
|
We have too many pull requests stacking up. As an easy way to deal with two of them, does anyone strenuously object to merging #1599 and closing #1581? There are no comments on #1599. Eric |