Cannot add ogg file to podcast

[gunterkoenigsmann]

Did try to add ogg-files to an podcast: It is a free format, supported by android and firefox, gives good compression and good audio quality.
The podcast extensions does even seem to be able to read ogg tags - but it doesn't offer me an ogg file if I want to add files to my podcast.

Would it be possible to fix this?

One of the files I can reproduce this problem with is http://www.peterpall.de/fileadmin/peterpall/audio/VOICE1223_009_HeavilyFiltered.ogg
Another is http://www.peterpall.de/fileadmin/peterpall/audio/Drei.ogg

Many thanks in advance,

Yours,

Gunter.

[gunterkoenigsmann]

Did create the branch Oggsupport on https://github.com/gunterkoenigsmann/Podcast
Let's see if I can do it.

[gunterkoenigsmann]

Ok... ...my branch works now. How do I get the changes into mainstream?

Kind regards,

Gunter.