Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Remove unused type-ignores #14433

Merged
merged 2 commits into from
Nov 14, 2022
Merged

Remove unused type-ignores #14433

merged 2 commits into from
Nov 14, 2022

Commits on Nov 14, 2022

  1. Remove unused type-ignores

    Oversights in #14427 and #14429.
    David Robertson committed Nov 14, 2022
    Configuration menu
    Copy the full SHA
    4484ab6 View commit details
    Browse the repository at this point in the history
  2. Changelog

    David Robertson committed Nov 14, 2022
    Configuration menu
    Copy the full SHA
    45c27d8 View commit details
    Browse the repository at this point in the history