Skip to content
GitLab
Explore
Sign in
Register
click "required" param wants bool, not int
Code
Review changes
Check out branch
Download
Patches
Plain diff
Stefano Zacchiroli
requested to merge
generated-differential-D1987-source
into
generated-differential-D1987-target
Sep 16, 2019
Overview
3
Commits
1
Pipelines
0
Changes
1
Expand
courtesy of mypy
Migrated from D1987 (
view on Phabricator
)
Merge request reports