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

Improve RawHeaders type hints #14303

Merged
merged 4 commits into from
Oct 28, 2022
Merged

Improve RawHeaders type hints #14303

merged 4 commits into from
Oct 28, 2022

Commits on Oct 26, 2022

  1. Improve type hinting of RawHeaders 

    to detect the problem that #14301 fixed.
    David Robertson committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    0f0011a View commit details
    Browse the repository at this point in the history

  2. Changelog

    David Robertson committed Oct 26, 2022
    Configuration menu
    Copy the full SHA
    f5f1df8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'develop' into dmr/type-hint-headers

    David Robertson authored Oct 26, 2022
    Configuration menu
    Copy the full SHA
    8a4d8cb View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2022

  1. Merge branch 'develop' into dmr/type-hint-headers

    David Robertson authored Oct 28, 2022
    Configuration menu
    Copy the full SHA
    689b8c3 View commit details
    Browse the repository at this point in the history