On 07:38 Mon 25 Jun , Michael S. Tsirkin wrote: > FYI > I think git-gui updates make it worth while to upgrade. > Sasha? I guess nobody uses git-gui on server side. Isn't it? Sasha