2852 commits

Author	SHA1	Message	Date
Martin von Zweigbergk	6721b576b7	releasing: add copyright header also to generated files ... This doesn't seem right to me, but it seems the release tool (`cross`) requires it.	2020-12-15 18:36:23 -08:00
Martin von Zweigbergk	6b1427cb46	import commit 0f15be02bf4012c116636913562691a0aaa7aed2 from my hg repo	2020-12-12 00:23:38 -08:00