[gnome-mud: 3/3] Merge branch 'piotrdrag/unicode-typography' into 'master'

[Mart Raudsepp <mraudsepp src gnome org>]

commit 500a4ec655c0d4a61062b66b5727e281a7f764da
Merge: 116fbf7 9adb82c
Author: Mart Raudsepp <leio gentoo org>
Date:   Tue Jan 1 17:25:33 2019 +0000

    Merge branch 'piotrdrag/unicode-typography' into 'master'
    
    Use Unicode typography in user-visible strings
    
    See merge request GNOME/gnome-mud!4

 src/mud-connection-view.c |  6 +++---
 src/mud-log.c             |  8 ++++----
 src/mud-window.c          |  2 +-
 ui/main.ui                | 14 +++++++-------
 ui/muds.ui                |  2 +-
 5 files changed, 16 insertions(+), 16 deletions(-)
---