Sync with gnulib 47f4ca8fe9506254200028c8a8c5fffbf1bf1161
commit2f25803ce271a7089cd937fd86c379cc74989581
authorAndrew Borodin <aborodin@vmail.ru>
Wed, 30 Jan 2013 17:34:12 +0000 (30 21:34 +0400)
committerAndrew Borodin <aborodin@vmail.ru>
Sat, 9 Mar 2013 12:04:18 +0000 (9 16:04 +0400)
treeaff7162df59830416fb0d6a1fae9120cf4eeba08
parent9b0b01720181b1674317e16f2264bd7f20035f74
Sync with gnulib 47f4ca8fe9506254200028c8a8c5fffbf1bf1161

Don't consider "devtmpfs" as dummy.

* src/filemanager/mountlist.c (ME_DUMMY_0): Remove "devtmpfs"
as there is storage associcated with it.

Signed-off-by: Andrew Borodin <aborodin@vmail.ru>
src/filemanager/mountlist.c