tree 11e446235905f1d0e2614a3e83f348d23fe0f60c
parent a62901c8c93c712e89c942ac4e14da873946c3b5
parent 844c3a01282dbc0b977aabef0e18c7add2112fb8
author Antonio García-Domínguez <agarcdomi@gmail.com> 1575477529 +0000
committer Antonio García-Domínguez <agarcdomi@gmail.com> 1575477529 +0000

Merge branch '552698-git' (fixes #552698)