Re: [PATCH] gbproxy/vty: Enhance delete-gbproxy-peer command