distrodef: fix incorrect detection of centos-10 vs 10.0
#2822
| Job | Run time |
|---|---|
| 1h 39m 6s | |
| 2m 50s | |
| 4s | |
| 1h 42m 0s |
centos-10 vs 10.0
#2822
| Job | Run time |
|---|---|
| 1h 39m 6s | |
| 2m 50s | |
| 4s | |
| 1h 42m 0s |