[Instrumentation] Pool time

Hi all,

As discussed during the meeting, our next outing will be next week Tuesday 18 November. We are going to play pool! If you would like to join then react to this message so that I have a rough number and know how many pool tables to reserve. Let’s say let me know by the end of tomorrow.

Cheers, Michiel