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

Reply via email to