chiark / gitweb /
fairphone-case: tolerate fingerpushhole_dias being [] to mean "none"