Merge "require DUMP permission on dump()" into lmp-dev
Nick Kralevich [Tue, 21 Oct 2014 22:48:52 +0000 (22:48 +0000)]

Trivial merge