(off-list ancestor, not in this archive)
Re: [PATCH 2/5] Name change: other -> commands. · Junio C Hamano <hidden> · 2016-06-15

Re: [PATCH 2/5] Name change: other -> commands.

From: Junio C Hamano <hidden>
Date: 2016-06-15 22:45:42

I see this needless churn.  Some commands are always available, so these
are indeed other commands.