Merge pull request #12467 from zhanhb/less-alternatives
authorRosen Penev <rosenp@gmail.com>
Wed, 10 Jun 2020 00:35:51 +0000 (17:35 -0700)
committerGitHub <noreply@github.com>
Wed, 10 Jun 2020 00:35:51 +0000 (17:35 -0700)
commitcf8bbd3f34b74deea5683a54f0f9b416f86f7eaf
tree1fd9eec7731297a77e050a01153182b5078402cf
parent2a3948b04dc90600495347e568a659c1605c9704
parentd8663931ddb24e89ff9919aafa9d65813e9bc268
Merge pull request #12467 from zhanhb/less-alternatives

less: update ALTERNATIVES