Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
ScriptSession should load type info in all cases #590
With the optimizations introduced through issue #492 the loading of type info became indeterministic and this setting is now removed.
Type Info is always loaded.