Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Unread count #42

Merged
merged 4 commits into from Oct 8, 2020
Merged

Unread count #42

merged 4 commits into from Oct 8, 2020

Commits on Oct 7, 2020

  1. add topology for unread count

    Christoph Pröschel committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    eaf6f15 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into unread-count

    Christoph Pröschel committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    226888d View commit details
    Browse the repository at this point in the history

  3. add test for unread count

    Christoph Pröschel committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    c2b08ef View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2020

  1. integrate naming feedback

    Christoph Pröschel committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    22ec15d View commit details
    Browse the repository at this point in the history