Re: [proximity] Remove bikeshed custom anchor (#55)

(I guess it takes a while for the new exports to propagate to the bikeshed database.)

GitHub Notification of comment by anssiko
Please view or discuss this issue at using your GitHub account

Sent via github-notify-ml as configured in

Received on Friday, 27 January 2023 14:26:45 UTC