Merge pull request #245 from oalbrigt/python3-check_used_options
check_used_options: add Python 3 support, and detect unsupported has_key()-calls
Description
Description
Details
Details
- Provenance
oalbrigt Authored on Nov 23 2018, 4:52 AM GitHub <noreply@github.com> Committed on Nov 23 2018, 4:52 AM - Parents
- rF717c0423d0aa: check_used_options: add Python 3 support, and detect unsupported has_key()-calls
rF485df68be4e2: Merge pull request #250 from mmartinv/patch-1 - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes