Update devel version: r1093