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
On 30/11/2020 10:21, Amit Langote wrote:
> I noticed a couple of comments that were obsoleted by commit
> 578b229718 which forgot to remove them. Attached fixes that.
Applied, thanks!
- Heikki