; * etc/PROBLEMS: Workaround for Windows key "stuck" (bug#68914).
authorEli Zaretskii <eliz@gnu.org>
Sun, 4 Feb 2024 14:11:20 +0000 (16:11 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sun, 4 Feb 2024 14:11:20 +0000 (16:11 +0200)
commitd0673ea0d42048c140f4e5c6db18f78a43303256
tree6f277c17638ca3dc76c54ba0c16ade1676ba0df6
parentb91f0ee2fcc52b6ef2d747c5fc7f37573adc7ca5
; * etc/PROBLEMS: Workaround for Windows key "stuck" (bug#68914).
etc/PROBLEMS