On Fri, Jun 26, 2020 at 04:48:45PM +0300, Oded Gabbay wrote:> Hi Greg,> Pinging you about this pull request to merge for -rc3Patience...