[devdocsgjs/main: 1217/1867] Merge pull request #1340 from simon04/eslint-7

[Andy Holmes <andyholmes src gnome org>]

commit eca9960916f902813b4edca28fe0464fc873f697
Merge: 5a05c2ac 65df0b3a
Author: Simon Legner <Simon Legner gmail com>
Date:   Wed Nov 18 22:44:46 2020 +0100

    Merge pull request #1340 from simon04/eslint-7
    
    eslint: update release 7.13.0

 lib/docs/filters/eslint/clean_html.rb | 5 +++--
 lib/docs/scrapers/eslint.rb           | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)
---