[orca: 2/2] Merge branch 'profile-special-chars' into 'master'

From: Joanmarie Diggs <joanied src gnome org>
To: commits-list gnome org
Cc:
Subject: [orca: 2/2] Merge branch 'profile-special-chars' into 'master'
Date: Wed, 19 Sep 2018 15:31:00 +0000 (UTC)

commit a1d6c7bb028c82a6375ef2e4987a84a472d66794
Merge: 2d9c29fe9 3beb741f6
Author: Joanmarie Diggs <jdiggs igalia com>
Date:   Wed Sep 19 15:30:42 2018 +0000

    Merge branch 'profile-special-chars' into 'master'
    
    Properly display profile names containing XML special characters
    
    See merge request GNOME/orca!19

 src/orca/orca_gui_prefs.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---

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