8 Mar
2026
8 Mar
'26
8:29 a.m.
Hi Andrzej, Firstly, Yes indeed I agree to both parts, I should mention that I am not an English native speaker as well. And secondly, regarding the PR, I agree that dropping extensions_t to extents and thus dropping the suffix _t. I have nothing to add here. However, I am curious about your "private detail" part of your message, I think we should still keep the name short in most cases, unless it's a container (like basic_extents as you mentioned). Can you elaborate about that last part? Best, Amlal