On Tue, Dec 2, 2014 at 5:28 PM, Peter Geoghegan <pg@heroku.com> wrote:
> Attached, revised patchset makes these updates.
Whoops. Missed some obsolete comments. Here is a third commit that
makes a further small modification to one comment.
--
Peter Geoghegan