Merge pull request #250957 from pinpox/kile-wl-2023-07-23
kile-wl: kile-wl 2021-09-30 -> 2.0
authored by Matthias Beyer and committed by GitHub 2 years ago f92d797d 0ce130a1