On 12 Mar 2016, at 2:03 , Alexander Senier
wrote:
>
> when analyzing the statement carefully, you'll find that it's indeed
> true. The seL4 source was *open-sourced* in July 2014 whereas the Muen
> source was released in August 2013.
>
> But of cause you're right, we're not talking about the sa
There is going to be our twenty-second G+ hangout on Thursday evening
of Central European Time. I have just sent out invitations for the
hangout. If you are not invited and think that you should be (or vice
versa), please send me a private message.
Jakub
__
Hi Jakub,
can you send the invites, please? You know how I hate G+ ;-)
Cheers,
Jiri
Jakub wrote:
"Hi Jiri,
On 03/12/2016 08:53 PM, Jiri Svoboda wrote:
> Hi all,
>
> the meeting on Thursday was canceled due to low attendance. We thought
> about rescheduling it to Thursday next week (March 17).
Hi Jiri,
On 03/12/2016 08:53 PM, Jiri Svoboda wrote:
> Hi all,
>
> the meeting on Thursday was canceled due to low attendance. We thought
> about rescheduling it to Thursday next week (March 17). But Jakub tells
> me he won't be able to attend in person next Thursday either, but he
> could be tel
