Who is Who (on IRC)

If you use some fancy nickname in #helenos, please consider providing mapping to a common developer name under which you are known to the HelenOS developer community.

Developer	IRC nick
Jakub Jermar	jermar
Jiri Svoboda	jiri__
Vojtech Horky	vhotspur
Martin Decky	mdecky
Jiri Zarevucky	jzr