[Pywikibot-commits] [Gerrit] solve_disambiguation.py: EditOption._start is an int, do not... - change (pywikibot/core)