tree cd4c455db2572a35dc8bb03a73d77fb5f5a32eb3
parent 94048929182efae126405c7a5fc5fbcad5d08523
author Davide Pesavento <davidepesa@gmail.com> 1692211486 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1692211486 -0400

util: add deprecated attribute to aliases documented as such

Change-Id: I334f0c3e072f773260d96f9cfe8f6029c256c41a