On Tue, Jan 05, 2021 at 11:54:42AM +0300, Amine Tengilimoglu wrote:
> Thank you Michael. I agree with you. Relevant part can be removed from the
> document and eliminate the confusion at least.
Okay, I got around this stuff, and committed a fix for 9.6~12. Thanks
for the report, Amine!
--
Michael