New stable version V10.1.3 has just been deployed.This patch corrects the last identified issues and become the new "Last stable release".