[myhdl-list] .mp3 upload to wiki is forbidden

[George P. <ge...@ga...>]

Hi Jan,

   I'm trying to upload some sound samples to the wiki, but it tells my 
that the mp3 filetype is forbidden. Would you please allow this (and .ogg)?

Thanks,
George