2.3.12 release
back to snapshot 2.3.13 is the next
Merge pull request #1382 from clebertsuconic/2.3.x

release commit