Romain Lenglet wrote:
The -M option works, since I just received an email Id sent
earlier, but I also sent one to xenomai-core, and it hasnt
shown up yet. I suspect that the mail looks like spam, and
has been rejected, since my hostname is not a real FQDN.
So Im not so sure that email is the best way here, but it
is conceptually simple.
Oof. Now attached.
Here is its little brother patch which updates the manpage.
Xenomai-core mailing list