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

Explicit disabling of disallowed_untyped_defs. #15026

Merged
merged 2 commits into from
Feb 8, 2023
Merged

Commits on Feb 8, 2023

  1. Configuration menu
    Copy the full SHA
    836cfaa View commit details
    Browse the repository at this point in the history
  2. Newsfragment

    clokep committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    4f92fda View commit details
    Browse the repository at this point in the history