[dia: 2/2] Merge request GNOME/dia!3 into 'master'

[Eduard <neduard src gnome org>]

commit 54e58a757ef76408c5bc3d7e2596399241ddeac4
Merge: ebc7a5fa aaec4dfa
Author: Eduard <eddnicodei gmail com>
Date:   Sun Feb 10 11:49:30 2019 +0000

    Merge request GNOME/dia!3 into 'master'
    
    Do not escape TeX macros if string is marked properly: "$...$" or "{...}"

 plug-ins/pgf/render_pgf.c | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)
---