buondì a chi è rientrato dalle ferie, a chi non è andato in ferie e, in uno slancio di bontà, a chi è ancora in ferie.

Giorno giovinotti.

... ancora in ferie per un giorno o due 😿

@bronsa (OT) tu usi emacs per ocaml?

si`