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
{{ message }}
Repository navigation
Provide mechanism to customize the destination of ApplicationProperties #1806
Activity
mhalbritter commentedon Jul 13, 2026
Closing in favor of github.com//pull/1807.
denisfalqueto commentedon Jul 13, 2026
Great! That's my PR for this issue. I believe that PR would close this issue anyway, right?
mhalbritter commentedon Jul 13, 2026
Yes. But we don't need an issue AND a PR, the PR is enough.