Robert Haas ec7db2b483 Remove a comment which is now incorrect.
Before 5d305d86bd917723f09ab4f15c075d90586a210a, this comment was
correct, but now it says we do something which we don't actually do.
Accordingly, remove the comment.
2016-10-20 10:24:51 -04:00
..
2016-10-19 09:18:50 -04:00
2016-10-18 10:55:56 -07:00
2016-10-19 09:18:50 -04:00
2016-01-02 13:33:40 -05:00