tree 939c4d124a57be1999e3838ee98969878a6d77e2
parent b5e95f9106d4f8c193a7bd53984871f01bca7be0
author Davide Pesavento <davidepesa@gmail.com> 1669060844 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1669060844 -0500

Remove a few deprecated functions

Change-Id: I8f48aa0d084ffd1349750dfe04357ce900ab8dd6