changeset:   139:2e3219dbbc80
tag:         v7.3.2.139
user:        Tercio
date:        Wed Nov 22 10:53:50 2017 -0200
summary:     - Fixed issues with the options panel size being to small for some plugins options.


