[library-web: 2/2] Merge branch 'update-devdocs-link' into 'master'

From: Bartłomiej Piotrowski <bpiotrowski src gnome org>
To: commits-list gnome org
Cc:
Subject: [library-web: 2/2] Merge branch 'update-devdocs-link' into 'master'
Date: Wed, 6 May 2020 07:16:40 +0000 (UTC)

commit 843bc25512e28ee139a473fc0c71a8d470fcfd25
Merge: b353adb 4488456
Author: Bartłomiej Piotrowski <bpiotrowski gnome org>
Date:   Wed May 6 07:16:27 2020 +0000

    Merge branch 'update-devdocs-link' into 'master'
    
    Fix GJS devdocs link
    
    Closes #85
    
    See merge request Infrastructure/library-web!8

 data/overlay.xml.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]