[MPlayer-dev-eng] [PATCH] (non-gui, audio-only) time format to hh:mm:ss.f

[D Richard Felker III]

On Thu, May 29, 2003 at 12:09:00PM -0700, Robert M. Riches Jr wrote:
> On May 23, I submitted a tiny patch, and I don't believe I
> have seen a response.  Has it been rejected, accepted, or
> dismissed as too trivial?  Portions of the original
> submission follow.

OK, I'm testing this patch and as long as there are no problems, I'm
committing it. Then we can talk about if/how to improve it later. But
it's lame for a good patch like this to go so long without
comment/commit.

Rich