In my case, it was not.
For proof, on WP 4.1.3 dashboard, it was displayed that the site had been updated to 4.1.3 (!!!) but that I could “RE-INSTALL” WP 4.2…
Even more, I don’t understand why updating to a version, prior than the last version. If WP 4.2 exists, how can come an update to a prior version like 4.1.3 ?