[devdocsgjs/main: 1087/1867] Merge pull request #1298 from simon04/leaflet-1.7

[Andy Holmes <andyholmes src gnome org>]

commit ee57f178585b4c36b84aaf4acf3f5903798b6a96
Merge: 3a3d5d43 c9e2e9a9
Author: Simon Legner <Simon Legner gmail com>
Date:   Thu Nov 12 21:59:10 2020 +0100

    Merge pull request #1298 from simon04/leaflet-1.7
    
    leaflet: add version 1.7.1

 lib/docs/filters/leaflet/clean_html.rb | 14 +++++++-------
 lib/docs/scrapers/leaflet.rb           |  5 +++++
 2 files changed, 12 insertions(+), 7 deletions(-)
---