gustafn
committed
on 10 Oct 15
- pass pretty_name to notification widget HTMLescaped (since widget expects it)