tree 8009efd13df52de39b5bfff9ef1784e2ebd9b0f0
parent d35ec39500ffc62a0a0bdac562f48125177b6ac3
author Luca Milanesio <luca.milanesio@gmail.com> 1503302671 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1503302681 +0100

Rephrase the synopsis statement

Change-Id: If0c8d5bd99d1632dd757e01b83148db31a56920e