[orca: 2/2] Merge branch 'patch-13' into 'master'

[Joanmarie Diggs <joanied src gnome org>]

commit 1459861dabd274952ea54b1726de6df79bd019ef
Merge: 71fcb45e6 2c1ce7746
Author: Joanmarie Diggs <jdiggs igalia com>
Date:   Fri Jun 12 15:09:43 2020 +0000

    Merge branch 'patch-13' into 'master'
    
    Change function to command
    
    See merge request GNOME/orca!86

 help/C/preferences_key_bindings.page |   4 +-
 src/orca/cmdnames.py                 | 368 +++++++++++++++++------------------
 src/orca/guilabels.py                |   4 +-
 3 files changed, 188 insertions(+), 188 deletions(-)
---