Re: [Release-team] [Kbase-devel] COMMANDS file