[gtkmm: 3/3] Merge branch 'grid-rename-properties' into 'master'

[Kjell Ahlstedt <kjellahl src gnome org>]

commit e122cc3262d759b85130111368803ed1f63dfc3c
Merge: 76882cf6 cfbf49d3
Author: Kjell Ahlstedt <kjellahlstedt gmail com>
Date:   Tue Aug 4 09:34:16 2020 +0000

    Merge branch 'grid-rename-properties' into 'master'
    
    Grid rename properties
    
    See merge request GNOME/gtkmm!35

 gtk/src/grid.hg            |   8 +--
 gtk/src/gridlayoutchild.hg |  12 ++--
 gtk/src/gtk_docs.xml       | 145 ++++++++++++++++++++++++++-------------------
 gtk/src/gtk_methods.defs   |  41 ++++++++-----
 gtk/src/gtk_signals.defs   |   8 +--
 5 files changed, 124 insertions(+), 90 deletions(-)
---