Yes: the 2.4.0 DRM had not been officially released when the latest F10 packages were built. The Fedora package is manually patched with (most of) the latest 2.4.0 development changes applied. Hence, it's tagged as version 2.4.0. Internally, however, the libs still carry the 2.3.0 tags.
Since mesa/drm 2.4.0 was officially released 12 days ago (after the latest Fedora package), I would expect to see an "official" version 2.4.0 in F10 final release.