[m-dev.] Build problem of ROTD and Git trunk

Paul Bone paul at bone.id.au
Sat Feb 28 13:48:46 AEDT 2015

On Sat, Feb 28, 2015 at 01:35:12PM +1100, Julien Fischer wrote:
> The message looks fine, but it should be on the version from 18 December
> 2014.  That's was the first
> build after the change to private_builtin was completed.

Sorry, I didn't notice.  Fixed.

Paul Bone

More information about the developers mailing list