tree 850fed85023235158155063697a40deec58ef712
parent 3b4ee2f1305cf527174ffb0192685b23e95520ae
author Davide Pesavento <davidepesa@gmail.com> 1674265941 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1674285747 -0500

Minor README improvements; fix outdated URLs

Change-Id: Ia57f83892471ad85a2301ba4c8ab3df144581000