Hi. I know it is stated on the website that patches should be submitted through Bugzilla but I was wondering if it also applies for very short patches. I made a few patches to fix some warnings. Do I really have to open an issue in Bugzilla for this? Best regards, Jacob Ilsų