Carsten Dominik <[email protected]> writes: > Yes, I agree. Let's wait for Bastien to take a last look at this, > but it should indeed be reverted.
Oh, I wasn't aware of this "metasyntactical" notion.
No problem for reverting this change -- please make this
in the maint branch so that users of 8.0.2 enjoy this.
Also, maybe the revert of this commit is not enough,
and we should check against remaining @var{...} to see
if they are okay.
--
Bastien
