@frlan: of course you can't. Please don't get me wrong: I did not mean to criticise you or smostertdev. It's just that it is a simple change and I think it's better to merge it at some point than to keep it open for several months. If it was a larger PR - yeah then we definitely would need to wait.