-
Hrvoje Ribicic authored
A section meant for 2.13.0 was moved to a 2.12 release, and this patch fixes that. Signed-off-by: Hrvoje Ribicic <riba@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
fc0349d9
To find the state of this project's repository at the time of any of these versions, check out the tags.