Christoph Wickert <christoph.wickert <at> googlemail.com> writes: > This has become even worse with immutable tags (although I understand the > need for immutable tags). Tags are not really immutable, "make tag TAG_OPTS=-F" has been reenabled. Kevin Kofler