Skip to content
Snippets Groups Projects
Unverified Commit ada44486 authored by Jack Reed's avatar Jack Reed Committed by GitHub
Browse files

Merge pull request #1779 from ProjectMirador/1644-osd-state

Add OSD-internal state information to the workspace state; fixes #1644
parents b39f8400 73779747
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment