[gtksourceview: 2/2] Merge branch 'lean-attributes' into 'master'

[Christian Hergert <chergert src gnome org>]

commit 78181913c0347fd3017721f7bc8adaead4fe0b88
Merge: 30479249 2ab82145
Author: Christian Hergert <christian hergert me>
Date:   Fri Aug 26 19:50:00 2022 +0000

    Merge branch 'lean-attributes' into 'master'
    
    lean.lang: highlight attributes
    
    See merge request GNOME/gtksourceview!281

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