A1
A2
A8
Merge branch 'devel' of https://github.com/nikosberdos/Hello-Git.git into devel