Re: %push-* -> %define push_pull

[Paolo Bonzini]

+       Replace `%push-parser' and `%push-pull-parser' with
+       `%define push_pull "push"' and `%define push_pull "both"'.
+       `%define push_pull "pull"' is the default.

Good idea.  What about "%define interface" or "%define api" instead?

Paolo