diff options
| -rw-r--r-- | etc/PROBLEMS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/PROBLEMS b/etc/PROBLEMS index 0794c84f2fa..6d74b9876bb 100644 --- a/etc/PROBLEMS +++ b/etc/PROBLEMS | |||
| @@ -1690,7 +1690,7 @@ keys can serve as Meta. | |||
| 1690 | The `xkeycaps' also shows a visual representation of the current | 1690 | The `xkeycaps' also shows a visual representation of the current |
| 1691 | keyboard settings. It also allows to modify them. | 1691 | keyboard settings. It also allows to modify them. |
| 1692 | 1692 | ||
| 1693 | *** GNU/Linux: low startup on Linux-based GNU systems. | 1693 | *** GNU/Linux: slow startup on Linux-based GNU systems. |
| 1694 | 1694 | ||
| 1695 | People using systems based on the Linux kernel sometimes report that | 1695 | People using systems based on the Linux kernel sometimes report that |
| 1696 | startup takes 10 to 15 seconds longer than `usual'. | 1696 | startup takes 10 to 15 seconds longer than `usual'. |