This release only fixes filtering issue with Tool Library.

What's new for users


Improvements
N/A
Bug fixes

Tool Library now filters tools correctly

Known issues
N/A

What's new for developers

Improvements

N/A

Bug fixes
N/A
Known issues
N/A

What's new for administators

Improvements
N/A