Merge branch 'wip/chergert/textview-undo-menu-item' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 13 Jan 2020 23:51:40 +0000 (23:51 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 13 Jan 2020 23:51:40 +0000 (23:51 +0000)
textview: add undo/redo menu actions

See merge request GNOME/gtk!1310


Trivial merge