2 Commits

Author	SHA1	Message	Date
Avi Kivity	a9a230afbe	scripts: introduce script to apply email, working around google groups brokeness ... Google Groups recently started rewriting the From: header, garbaging our git log. This script rewrites it back, using the Reply-To header as a still working source. Closes #11416	2022-08-31 14:47:24 +03:00
David Garcia	bb21c3c869	Move dev docs to docs/dev	2022-06-24 18:07:08 +01:00