Release version 1.3.12.