> which patches should be put on the 2.20 branch ? This patch requires my other patch on objdump. > (It would be much easier for me if you commit the right one on the branch :-) I'll do it. Christophe.