Thread:Project:Support desk/HiDPI support/reply (5)

https://bugzilla.wikimedia.org/show_bug.cgi?id=32101 lists fixed and still-to-fix issues with regard to HiDPI.