diff options
Diffstat (limited to 'etc/PROBLEMS')
| -rw-r--r-- | etc/PROBLEMS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/PROBLEMS b/etc/PROBLEMS index 6435bd2e673..f42f9565cf6 100644 --- a/etc/PROBLEMS +++ b/etc/PROBLEMS | |||
| @@ -1694,7 +1694,7 @@ keys can serve as Meta. | |||
| 1694 | The `xkeycaps' also shows a visual representation of the current | 1694 | The `xkeycaps' also shows a visual representation of the current |
| 1695 | keyboard settings. It also allows to modify them. | 1695 | keyboard settings. It also allows to modify them. |
| 1696 | 1696 | ||
| 1697 | *** GNU/Linux: low startup on Linux-based GNU systems. | 1697 | *** GNU/Linux: slow startup on Linux-based GNU systems. |
| 1698 | 1698 | ||
| 1699 | People using systems based on the Linux kernel sometimes report that | 1699 | People using systems based on the Linux kernel sometimes report that |
| 1700 | startup takes 10 to 15 seconds longer than `usual'. | 1700 | startup takes 10 to 15 seconds longer than `usual'. |