Hello ,

Anyone know why there does not seem to be a Fedora 20 release for
Raspberry Pi? Pidora seems to be stuck at fedora 18.

Dave