Learn more about these different git repos.
Other Git URLs
dc9e0dd
PR#1125: Ignore non-existing option when activate a session Merges #1125 https://pagure.io/koji/pull-request/1125