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
Есть вопросы? Напишите нам!
Соглашаюсь с условиями обработки персональных данных
✖
By continuing to browse this website, you agree to the use of cookies. Go to Privacy Policy.