On Tue, Feb 16, 2021 at 07:54:32AM +0000, Zohar Gofer wrote:
> Thanks. This seems to be the fix we need.
> Would it be possible to push it to previous versions? 12 or 13?
New features don't go into stable branches, only bug fixes do. And
this is not a bug fix, but a feature.
--
Michael