I can tell you a little bit about it.
Cinco de Mayo is a Mexican commemorative day. On this day, many years ago, the Mexicans won a decisive battle against, I believe, the French. Being somewhat similar to the United States' battle of Georgetown, it's not a national holiday, but rather recognized as an important day in Mexico's history - a decisive battle.
Cinco de Mayo is NOT Mexico's independence day, as some believe. Mexico's independence day is around the 15th of September. Not sure what day exactly, though.
So, we could call May 5 "Cinco de OSKit" (the fifth OSKit), and make this snapshot the fifth official release (somehow) . . . ??
Richard Schilling
Lake Stevens, WA
> -----Original Message-----
> From: Simon Nieuviarts [mailto:snieuvia@ensisun.imag.fr]
> Sent: Tuesday, May 09, 2000 1:44 AM
> To: Leigh Stoller; oskit-announce@fast.cs.utah.edu
> Subject: Re: OSKit 20000505 snapshot, realtime & sched
> support: Cinco de
> Mayo
>
>
> On Mon, 08 May 2000, Leigh Stoller wrote :
> > To celebrate "Cinco de Mayo" we are making another OSKit snapshot.
> ...
> > Happy "Cinco de Mayo" from the Flux Group and the
> > University of Utah Department of Computer Science!
> >
> > ps: This *really* was released on Cinco De Mayo. Lets blame
> a *very* large
> > internet service provider for the delay in getting it into
> your hands.
>
> What have we to celebrate on the "Cinco de Mayo" ? I have a spanish
> colleague and she doesn't know what it is ! Could you explain
> it to us ?
>
> Simon.
>