K 10 svn:author V 3 kwm K 8 svn:date V 27 2018-09-30T15:53:18.623074Z K 7 svn:log V 128 Update gnome-shell-extension-filesmenu to a snapshot that is compatible with gnome-shell 3.28. Obtained from: gnome devel repo END