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

[Robert M. Riches Jr]

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.

Thanks.

Robert Riches
rm.riches at verizon.net

> Date: Fri, 23 May 2003 10:47:56 -0700
> From: "Robert M. Riches Jr" <rm.riches at verizon.net>
> To: mplayer-dev-eng at mplayerhq.hu
> Subject: [PATCH] (non-gui, audio-only) time format to hh:mm:ss.f
> Reply-To: rm.riches at verizon.net
>
> This patch converts the format of printed time (in non-gui,
> audio-only mode) from pure seconds (and one fraction digit)
> to hh:mm:ss.f to try to be more user-friendly.  I have used
> this patch for a few weeks (on 9.0rc4).  A fresh build from
> latest CVS as of this morning tested fine.  Okay, the coding
> isn't too elegant, but it should be reasonably efficient and
> testing shows it to work.
>
> Thanks for considering this tiny attempt at a contribution.