merge devel -> trunk (after reading svn manual)


git-svn-id: http://www.observium.org/svn/observer/trunk@4511 61d68cd4-352d-0410-923a-c4978735b2b8
merge


git-svn-id: http://www.observium.org/svn/observer/trunk@4513 61d68cd4-352d-0410-923a-c4978735b2b8
merge


git-svn-id: http://www.observium.org/svn/observer/trunk@4515 61d68cd4-352d-0410-923a-c4978735b2b8