So 7.2.3 is still not in jammy, but I discussed with Rico and he said that he wants to go with 7.3.0~beta1 soon probably. So the version number might be lower in jammy for a small moment, but will be migrated to a newer one soon.
So 7.2.3 is still not in jammy, but I discussed with Rico and he said that he wants to go with 7.3.0~beta1 soon probably. So the version number might be lower in jammy for a small moment, but will be migrated to a newer one soon.