tree 0200ff2c510582b9dd7eabb3a37d797319e3db3b
parent 2bd3068fabcaa05ebe8d14073e6a3dd2baeebff3
author David Ostrovsky <david@ostrovsky.org> 1655962263 +0200
committer David Ostrovsky <david.ostrovsky@gmail.com> 1655982119 +0000

attention-set: Fix typo in the documentation

Change-Id: I11b687b5179d2e68673006a8bc41d614fbe747fc