Revision c581311079fd8538a163200322411b8cf1c70879

Committed on 03/01/2019 10:31 am by Paulo Rodrigues Pinto <regularjack@gmail.com> [GitHub Diff]

Prepare release 1.4.0