Release 0.9.3.1 of ggplot2