search

geohci / edit-types

Edit diffs and type detection for Wikipedia
MIT License
12 stars 3 forks source link

Timeout bug with section alignment #80

Closed geohci closed 1 year ago

geohci commented 1 year ago

simple fix to prevent section pruning when timeout set to True to messing up section alignment dictionary when sections are inserted/removed