[galaxy-dev] [hg] galaxy 3231: Add a new LIBRARY_ACCESS permission that behav...