This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Make recent version mypy happy

Details

Provenance

ardumont	Authored on Jun 9 2021, 10:48 AM
ardumont	Pushed on Jun 9 2021, 11:19 AM

Differential Revision

D5830: Make recent version mypy happy

Build Status

Buildable 21819
Build 33932: test-and-build	Jenkins console · Jenkins

This commit no longer exists in the repository.