tree 394d3671a7b52e3f7aa62ce9b28c59d09f27ac0c
parent 8c1c5b1849a30c96e64771d6a60144d914ee8f2c
author Davide Pesavento <davidepesa@gmail.com> 1635712865 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1635712865 -0400

encoding: update to revision 3 of the naming conventions

Change-Id: I2e5c84762c148c4cea17db13b8ff92dd65299fce