[gnome-shell] (2 commits) Created branch merge-requests/104

From: Florian Müllner <fmuellner src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-shell] (2 commits) Created branch merge-requests/104
Date: Fri, 8 Jun 2018 17:00:49 +0000 (UTC)

The branch 'merge-requests/104' was created.

Summary of new commits:

  f56ba08... st: Add support for font-feature-settings
  84c348f... theme: Use tabular figures where appropriate

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]