Merge pull request #12435 from neheb/less
authorRosen Penev <redacted>
Mon, 8 Jun 2020 20:52:15 +0000 (13:52 -0700)
committerGitHub <redacted>
Mon, 8 Jun 2020 20:52:15 +0000 (13:52 -0700)
less: update to 562


Trivial merge
git clone https://git.99rst.org/PROJECT