> Looks good, please push! Will do.
> (Small updates like this one can be pushed directly.) I know. But I feel that it's better to double-check than to revert it. So I'll continue to notify the list if you don't mind.
pgpQVnwjQ4Nwf.pgp
Description: PGP signature
