Oops, we're in the pitch thread. @Tino, you might want to bring this up in the review thread, probably with the _ bit (or something like it) to address @gwendal.roue's concern
- Doug
Oops, we're in the pitch thread. @Tino, you might want to bring this up in the review thread, probably with the _ bit (or something like it) to address @gwendal.roue's concern