; Fix typo in etc/PROBLEMS
commitdf0276b62f3df57cde3c049ca613a366c675209b
authorMichael Albinus <michael.albinus@gmx.de>
Sat, 4 Mar 2017 19:32:39 +0000 (4 20:32 +0100)
committerMichael Albinus <michael.albinus@gmx.de>
Sat, 4 Mar 2017 19:32:39 +0000 (4 20:32 +0100)
tree1b158a58466cd4b253ba6fdda1298879028ef073
parentc26005455bfa9dd4851d59c399615e523f80c5ad
; Fix typo in etc/PROBLEMS
etc/PROBLEMS