It was a very simple patch, just removing some code that is no longer needed, but now that ticket #31485 has been committed, I will have contributor props for WordPress 4.2!
Update: 4.2 was released today and I am very happy to have played a (small) part in it!
Photos or it didn’t happen!
