stubgen: Fix generated stub filename when referencing out-of-director…#892

Merged

wjakob merged 1 commit intowjakob:masterfrom nicholasjng:stubgen-out-of-tree-modules

Jan 30, 2025

+7-1

Commits on Jan 29, 2025

stubgen: Fix generated stub filename when referencing out-of-directory extensions
nicholasjng
committed