Re: [1/1 PATCH] batctl: ping: Add millisecond precision to ping interval