doc: add a warning note that the reporting-bugs instructions do matter

And remove the paragraph below that states the same thing.

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>

diff --git a/doc/reporting-bugs.dox b/doc/reporting-bugs.dox
index fc842bbf9f429adb7aba533ce148d35263a69903..be2574deee676d236fbc9dbbf563b940cd1d3956 100644 (file)
--- a/doc/reporting-bugs.dox
+++ b/doc/reporting-bugs.dox
@@ -4,6 +4,10 @@
 A new bug can be filed here:
 https://gitlab.freedesktop.org/libinput/libinput
 
+@note libinput has lots of users but very few developers. It is in your own
+      interested to follow these steps precisely to ensure your bug can be
+      dealt with efficiently.
+
 When reporting bugs against libinput, please follow the instructions below
 and provide the required data. You will need:
 
@@ -19,10 +23,6 @@ and provide the required data. You will need:
 - the @ref reporting_bugs_options "configuration options" you have set
 - a bugzilla account
 
-If you don't have all of the above, provide a reason why not. Unless the
-reason is justified, the bug will have low priority. Remember, libinput has
-a lot of users but very few developers.
-
 Stay technical, on-topic, and keep the description concise.
 
 @section reporting_bugs_version Obtaining the libinput version