Merge Debian packaging for release “1.5.8-4”.masterdebian/1.5.8-4
treea9290133b0552edea217a64645b07d68af57ea48
drwxr-xr-x - debian
-rw-r--r-- 60434 inform-mode.el