# 4.1.3

2017-05-24

Maintenance release 3 of 4.1 branch

* Bug #10705: When folding directive tree filter, the directive tree stays at its initial size