[MPlayer-users] Small fix needed in libmpdemux/demuxer.h?

[Niriel]

I just found this: (first noticed in mplayer-rc2, but it's still present in 
CVS-20021229)
demuxer.h defines types of demuxers with numbers from 0 to 25, while, few 
lines below we see (line 41)
#define DEMUXER_TYPE_MAX 23
which disallows us to force demuxers with higher number than 23. I'm not sure 
if it was intentional or not, so I will not bother devleopers with it for a 
while, at least until I hear your opinion on this matter. ;)
Fix would be quite easy, it should be enough just to change line 41 to say:
#define DEMUXER_TYPE_MAX 25
instead of 23

What do you say? Submit it as a bug report or not?