Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
[18.01] fix for cases where panel elements have to_dict with different signature #5615
we want to only cache Tools anyways, so this fixes other possible bug
The to_dict bug caused the following exception on Main, because it has a ToolSectionLabel element. No other env this was tested on had it.