Hello,
After some introspection, I sincerely apologise for my rude reply
yesterday.
I was tired and put off balance by all the discrepancies. I thought the
message was a stupid prank by students or something and acted
accordingly.
Even so, that does not excuse my behaviour. I should have sent a polite
private inquiry instead.
I told Marc that to make up for it I will answer any technical questions
he may have.
Sorry for the noise,
Indan
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems