On 08/27/06 14:39 Johannes Winkelmann wrote:
Hi,
That said, we need coaches for the 'ports' team as well as for the
'core' team. CRUX maintainers, please submit your nominations :-).
Exchanging the favour, I nominate Johannes for the core team
leader role, given his hard work so far on
Simone Rota [2006-08-27 17:58]:
On 08/27/06 14:39 Johannes Winkelmann wrote:
That said, we need coaches for the 'ports' team as well as for the
'core' team. CRUX maintainers, please submit your nominations :-).
Exchanging the favour, I nominate Johannes for the core team
leader role,