peerlibrary/peerlibrary — pull request #610 by Retronator (2014-08-26 23:09:36+00:00)
Title: User notifications button in header. Fixes #281

Implementation of #281.