Skip to content
Per Kevin Ryde, call read-string with a default value rather than an initial input, which usage is deprecated and less user-friendly. (Closes: #442426.)  [Part of 1.8.7-8, just not committed properly earlier.]