David Holm wrote: > I saw something on mplayer-dev-eng about everyone being allowed to > commit doc-updates now. I hope this is valid, otherwise let me know. The discussion has not really reached a final conclusion ;-) Your patch looks good, though, you have my blessing. Diego