[sr-dev] git:lazedo/4.2:4e0576e5: Merge branch '4.2' into lazedo/4.2