[Axiom-developer] Re: Ping: case insensitive filesystems

[Gabriel Dos Reis]

"Page, Bill" <address@hidden> writes:

| Gaby,
| 
| Are you willing to give Waldek the "go ahead" to commit the
| following patch?

Yes. 
During the conversion, I thought I agreed with this renaming you
proposed.

-- Gaby