* etc/PROBLEMS: Add entry about dir-locals and some auto-mounters.
commit0bfe915be7e31f556624f3f9bcae93a2d33e69a6
authorGlenn Morris <rgm@gnu.org>
Mon, 23 Mar 2015 00:10:10 +0000 (22 17:10 -0700)
committerGlenn Morris <rgm@gnu.org>
Mon, 23 Mar 2015 00:10:10 +0000 (22 17:10 -0700)
tree806568b864d7478aecc61f1992c126b6ccc75aa3
parentc3c4b758c6d3e33d7fa7621ba4a50ec75c121247
* etc/PROBLEMS: Add entry about dir-locals and some auto-mounters.
etc/PROBLEMS