# 0001-drop-DPI-settings-if-they-re-not-set-in-KDE.patch
