Thanks, pushed as commit 2016078cefa7e4438217e54bb0421a5d5f0b151f
--
unsubscribe: one-click, see List-Unsubscribe header
archive: https://public-inbox.org/meta/

Reply via email to