Re: What to do if upstream doesn't fix bug?