[Crash-utility] crash versioning?

[Jun Koi]

Hi,

I notice that the way Dave name crash version is a bit special (never
seen anywhere for me) : 4.0-7.1, 4.0-7.2, .... What is the point of
naming versions that way??

Thanks,
J