Thanks, the patch applied.
On Mon, Aug 23, 2021 at 3:40 PM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> The RM 4264 was already fixed with some other patch. However, I noticed
> that the code folding is case sensitive. If the keywords are in capital
> letters, on
Hi Hackers,
The RM 4264 was already fixed with some other patch. However, I noticed
that the code folding is case sensitive. If the keywords are in capital
letters, only then code folding works.
Please review the attached patch which makes the code folding case
insensitive.
--
Thanks,
Aditya T