From: Filippo Valsorda <filippo@golang.org>
Date: Tue, 13 Nov 2018 23:45:04 +0000 (-0500)
Subject: [dev.boringcrypto] all: merge master into dev.boringcrypto
X-Git-Tag: go1.19beta1~484^2~132
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=11e916773e;p=gostls13.git

[dev.boringcrypto] all: merge master into dev.boringcrypto

Merge at CL 144340, in order to cherry-pick CL 149459 next to it, which
fixes a BoringCrypto specific breakage in the toolchain.

Change-Id: I30aeac344bbff279449e27876dc8f9c406e55e43
---

11e916773ef8672d1423ccb100516812dfd50041