On Wed, 5 Jan 2022, Martin Liška wrote:

> Please install it, apparently I can't push commits there:

Done.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to