diff options
author | Patrick Georgi <pgeorgi@google.com> | 2019-11-19 14:44:48 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2019-11-19 14:58:22 +0000 |
commit | ab8edda14a622ab46bdfd01b877d75c7bd385a4d (patch) | |
tree | d2a5322ad48c3a3555cf2ae83281adda4fafc66e /util/lint/lint-stable-019-header-files | |
parent | 0209f3dd15f20b4286d80fbf42a476e9aec5efae (diff) |
Documentation/releases: Finalize 4.11, start 4.12
Fill in some stats using our repo analysis scripts in
util/release/, thank the contributors, add some prose
about notable achievements since 4.10.
Also start a new doc for 4.12.
Change-Id: I10a39081762d6e01f4040f717d36662975e4c8e9
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/36948
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/lint/lint-stable-019-header-files')
0 files changed, 0 insertions, 0 deletions