[NetworkManager-openconnect: 6/6] Merge branch 'obs' into 'main'

[David Woodhouse <dwmw2 src gnome org>]

commit e6af6d8bdccb63ee8593842b6bd1da9dd8b50fb4
Merge: c3a9c8a e6606cd
Author: David Woodhouse <dwmw2 infradead org>
Date:   Mon Apr 18 10:00:29 2022 +0000

    Merge branch 'obs' into 'main'
    
    OBS spec: add virtual Provide to match Fedora's package name and minor fixes
    
    See merge request GNOME/NetworkManager-openconnect!35

 .obs/_service                                                      | 7 +------
 ...rkManager-openconnect.spec => network-manager-openconnect.spec} | 7 ++++---
 2 files changed, 5 insertions(+), 9 deletions(-)
---