Skip to content
Permalink
Branch: master
Commits on Jun 10, 2019
  1. Update versioning

    mpiannucci committed Jun 10, 2019
  2. Merge pull request #65 from rmader/gnome-3.32

    mpiannucci committed Jun 10, 2019
    Advertise support for gnome-shell version 3.32
You can’t perform that action at this time.