On 5/29/20 1:38 PM, Yuri Chornoivan wrote:
Git commit bb40d86dd4e2af94c616b3587358d19bd69d29ec by Yuri Chornoivan. Committed on 29/05/2020 at 17:38. Pushed by yurchor into branch 'master'.Fix minor typos, minor formatting fix
Yuri,As always, thanks for the fixes. When I filed the MR, I was trying to figure out how to inform this list, but couldn't do so before someone committed the merge for me. What is the preferred procedure to request review here, using GitLab and MR's?
Thanks. Jack
