Update dev version number to 3.1.19-dev