diff options
Diffstat (limited to 'etc/PROBLEMS')
| -rw-r--r-- | etc/PROBLEMS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/PROBLEMS b/etc/PROBLEMS index 7be0e34397c..785e6e18afa 100644 --- a/etc/PROBLEMS +++ b/etc/PROBLEMS @@ -1836,8 +1836,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. |