mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-24 16:30:27 +08:00
Merge pull request #9473 from almahmoud/idp-logout
[WIP] Backporting PR #9162 into 20.01
This commit is contained in:
[WIP] Backporting PR #9162 into 20.01