* etc/PROBLEMS: Amend entry for profiler bug #34235 to mention kernel 4.14.97

ce3ae1f8 · Alan Mackenzie · b51ac456 · ce3ae1f8
Commit ce3ae1f8 authored Feb 03, 2019 by Alan Mackenzie
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

etc/PROBLEMS etc/PROBLEMS +2 -2

No files found.
--- a/etc/PROBLEMS
+++ b/etc/PROBLEMS
@@ -1853,8 +1853,8 @@ term/xterm.el) for more details.
 *** GNU/Linux: profiler-report outputs nothing.

 A few versions of the Linux kernel have timer bugs that break CPU
-profiling; see Bug#34235.  To fix the problem, upgrade to kernel
-versions 4.19.19 or 4.20.6, or later.
+profiling; see Bug#34235.  To fix the problem, upgrade to one of the
+kernel versions 4.14.97, 4.19.19, or 4.20.6, or later.

 *** GNU/Linux: Process output is corrupted.