diff options
| author | Paul Elder <paul.elder@ideasonboard.com> | 2019-10-25 18:01:34 +0200 |
|---|---|---|
| committer | Paul Elder <paul.elder@ideasonboard.com> | 2019-12-08 23:59:25 -0500 |
| commit | 07e3933570979046124c517b22cf4420daf4102f (patch) | |
| tree | bf1f1e5af77d7cb874f517011b4380489f2b02e8 /package/gentoo | |
| parent | 803e592cf6ff0c58cdb99c00b1508cefd7d85fe0 (diff) | |
include: linux: Update Linux headers readme to v5.2
When the Linux headers were updated to v5.2, the version announced in
the README was not, so update it.
Fixes: 4984973679ec ("include: linux: Update headers to Linux v5.2")
Signed-off-by: Paul Elder <paul.elder@ideasonboard.com>
Acked-by: Jacopo Mondi <jacopo@jmondi.org>
Reviewed-by: Niklas Söderlund <niklas.soderlund@ragnatech.se>
Diffstat (limited to 'package/gentoo')
0 files changed, 0 insertions, 0 deletions