[sr-dev] git:lazedo/4.2:35b38f8f: Merge branch '4.2' into lazedo/4.2