Re: [libsmi] libsmi release 0.4.2