[tor-commits] [tpo/master] Merge remote-tracking branch 'gitlab-tpo/add-lavamind'

[gus at torproject.org]

commit f74d3db92f4783a901af527fe2c99138ebfd03cd
Merge: d6fd39d5 00d710f7
Author: gus <gus at torproject.org>
Date:   Thu Jun 10 10:49:54 2021 -0300

    Merge remote-tracking branch 'gitlab-tpo/add-lavamind'

 content/about/people/lavamind/contents.lr | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)