tree ae3d42fc873ea2bb16e437b64ea75d7042671c4c
parent d20ec25c92788764275faf9bdf90fecdefd234b4
author CH <chdecultot@gmail.com> 1491501816 +0200
committer Nabin Hait <nabinhait@gmail.com> 1492090191 +0530

Correction of issue #8354