This was a mistake in https://boringssl-review.googlesource.com/6611. Change-Id: Ifb5c52cc7571b6f1ada4af9b46eab1f9b080b4f6 Reviewed-on: https://boringssl-review.googlesource.com/6730 Reviewed-by: Adam Langley <agl@google.com>kris/onging/CECPQ3_patch15