Sandro Jäckel 33a395f195 yacc: deprecate alias ... and add a new line after the alphabetically sorting to please my inner monk		2021-04-04 03:18:58 +02:00
..
1.8	yacc: deprecate alias	2021-04-04 03:18:58 +02:00
1.9	yacc: deprecate alias	2021-04-04 03:18:58 +02:00