tree bd8c2cf43887810807b5df78d989fed3c6195e0a
parent c830a13682e366a197a96dfe1b7ae47053a2673a
author angelozerr <angelo.zerr@gmail.com> 1537880181 +0200
committer angelozerr <angelo.zerr@gmail.com> 1537880181 +0200

Bug 539430 - [code mining] wrong line spacing for line header annotation

Change-Id: Idc133c1331751789c22687e796c37b6626a586af
Signed-off-by: angelozerr <angelo.zerr@gmail.com>