bug_25265 #12

Merged

francesco.mangiacrapa merged 2 commits from bug_25265 into master 2023-06-19 10:59:14 +02:00

Conversation 0 Commits 2 Files Changed 9 +84 -67

2 Commits

Author	SHA1	Message	Date
Francesco Mangiacrapa	20ead3b970	updated description	2023-06-16 15:39:45 +02:00
Francesco Mangiacrapa	869b13d5fe	bug fixed the search facility [#25265]	2023-06-16 15:14:15 +02:00