Skip to content
Commit 135d9ae9 authored by Robert Klotzner's avatar Robert Klotzner Committed by GitHub
Browse files

Put all authorities of a session into `SessionInfo`. (#3813) 

* Make SessionInfo include all authorities

of the current session.

* Add missing import.

* Only take subset for assignment keys.

* Fix typo.

* Make spellcheck happy.

* Really.

* Fix test.

* More clear documentation.

* Update comments in `SessionInfo`.
parent b9e1f09b
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment