On 10/10/2018 08:03, Jürgen Spitzmüller wrote:
Richard Kimberly Heck <rikih...@lyx.org <mailto:rikih...@lyx.org>>
schrieb am Mi., 10. Okt. 2018, 01:28:
Report it to the
trac folks?
Does this make sense as long as we run such an outdated version of trac?
Maybe not. I guess it is not a big problem either. I am just going to
use the search function from the main menu for more-than-one-word search
queries. I always found the "Search for bugs" function in "View tickets"
more convenient but knowing its limitations I change my mind.
Daniel
