From: Thomas C. <tw...@gm...> - 2009-07-28 12:39:33
|
On Tue, Jul 28, 2009 at 2:59 AM, Gianluca Sforna<gi...@gm...> wrote: > On Mon, Jul 27, 2009 at 6:32 PM, Thomas Charron<tw...@gm...> wrote: >> Just a quick question. What is the proper channel to submit bug >> fixes/changes for Mantis? I fixed one very small bug, and reported >> the bug and the fix in Mantis, but I'm unsure if it will sit there in >> limbo. > Submitting a bug in the tracker is the right thing to do. > If there is no reaction on the ticket, feel free to note in this list > you opened a bug with a provided patch, it usually leads to a quick > applying (provided the reviewer agrees with your fix) This ones pretty straitforward. It's bug #10760. You can't filter on priority, because there was a distinct shortage of 'echo' that day. I had an extra, so I added one. :-D In filter_api, line 3658: <select <?php echo $t_select_modifier;?> name="<?php FILTER_PROPERTY_PRIORITY_ID;?>[]"> Needs to be changed to: <select <?php echo $t_select_modifier;?> name="<?php echo FILTER_PROPERTY_PRIORITY_ID;?>[]"> Sounds like a silly bug, but we've gone through our validation, and that was the ONE thing that one of the managers happened to *love* to do. :-P -- -- Thomas |