Fix stub file's name

This commit is contained in:
John Ericson 2022-03-21 13:15:35 -04:00 committed by Valentin Gagarin
parent 678d75baea
commit f5386d7059