[gtksourceview: 3/3] Merge branch 'lean-identifiers' into 'master'

[Christian Hergert <chergert src gnome org>]

commit e40e027f955cd9d84adce277cd1a247805fd57dc
Merge: 9e7d80c4 b9c6b330
Author: Christian Hergert <christian hergert me>
Date:   Tue Jul 26 20:37:14 2022 +0000

    Merge branch 'lean-identifiers' into 'master'
    
    lean.lang: fix highlighting of identifiers
    
    See merge request GNOME/gtksourceview!275

 data/language-specs/lean.lang       | 13 ++++++++++++-
 tests/syntax-highlighting/file.lean |  6 +++---
 2 files changed, 15 insertions(+), 4 deletions(-)
---