mozilla/rust — pull request #4562 by lbonn (2013-01-21 06:56:08+00:00)
Title: doc: fix log level ids

Fix the documentation as described in issue #4552.