Skip to content

[django-filter] Improve stubtest comment. - #14738

Merged
srittau merged 1 commit into
python:mainfrom
srittau:django-filter-stubtest
Sep 22, 2025
Merged

srittau merged 1 commit into
python:mainfrom
srittau:django-filter-stubtest

Conversation

@srittau

@srittau srittau commented Sep 18, 2025

Copy link
Copy Markdown
Collaborator

Cf. #14718

@github-actions

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@srittau
srittau merged commit a2c34cc into python:main Sep 22, 2025
48 checks passed
@srittau
srittau deleted the django-filter-stubtest branch September 22, 2025 11:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants