Re: [PATCH] gitweb: Change base font size to "small"

Petr Baudis [off-list ref] writes:

On Wed, May 16, 2007 at 12:51:38PM CEST, Jakub Narebski wrote:

quoted

Proposed-by: Jan Hudec [off-list ref]
Signed-off-by: Jakub Narebski <redacted>

Acked-by: Petr Baudis <redacted>

just for the record, since it seems to be already applied anyway. By the
way, I think this commit message is more optimal than what ended up for
some reason (Jakub wasn't fast enough? ;-)

Most likely timezone difference is the largest factor.