Hi,

I noticed a couple of comments that were obsoleted by commit
578b229718 which forgot to remove them.  Attached fixes that.

-- 
Amit Langote
EDB: http://www.enterprisedb.com

Attachment: fix-obsolete-comments.patch
Description: Binary data

Reply via email to