-
Benno Schulenberg authored
The list of bugs is quite short these days, and most of them are feature requests, so asking the user to check whether a particular problem has already been reported doesn't make much sense.
1878168a
The list of bugs is quite short these days, and most of them are feature requests, so asking the user to check whether a particular problem has already been reported doesn't make much sense.