R 3.1.2 "Pumpkin Helmet" has been released. Please bump. Thank you! Reproducible: Always
Done, thanks. Denis.