Hi all, It's time to choose a meeting time for PL Jr this summer: https://www.when2meet.com/?6883534-b55N4 Please fill it out by Friday noon, so I can book rooms (and maybe get something in WVH for once). Thanks, Ming-Ho -------------- next part -------------- HTML attachment scrubbed and removed