Berlin hotel

Chris Rae Chris.Rae at
Thu Jan 16 18:45:56 CET 2014

Hi all - has anyone booked a hotel for Berlin yet? I liked the one I stayed at last time but can't entirely remember the name of it.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the sc34wg4 mailing list