[pungi-fedora] PR #812: Fix various versions to all be f32 for the f32 branch

[Kevin Fenzi]

kevin opened a new pull-request against the project: `pungi-fedora` that you are
following:
``
Fix various versions to all be f32 for the f32 branch
``

To reply, visit the link below or just reply to this email
https://pagure.io/pungi-fedora/pull-request/812

[Peter Robinson]

pbrobinson commented on the pull-request: `Fix various versions to all be f32 for the f32
branch` that you are following:
``
LGTM.

Do you want this merged or hold off?
``

To reply, visit the link below or just reply to this email
https://pagure.io/pungi-fedora/pull-request/812

[Mohan Boddu]

mohanboddu merged a pull-request against the project: `pungi-fedora` that you are
following.

Merged pull-request:

``
Fix various versions to all be f32 for the f32 branch
``

https://pagure.io/pungi-fedora/pull-request/812