You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@jcposada, this may be the same request as #1188 (same file extension: .exe). It was added in #1357, which is merged but not released yet, so it will be available in the next release. If it's something different, please say how, and a maintainer will take a look.
Activity
github-actions commentedon Nov 10, 2026
@jcposada, this may be the same request as #1188 (same file extension: .exe). It was added in #1357, which is merged but not released yet, so it will be available in the next release. If it's something different, please say how, and a maintainer will take a look.