5 Commits

Author	SHA1	Message	Date
Lokathor	37380f8867	1.34 needed for NonZeroI32 and friends	2019-11-25 19:17:41 -07:00
Lokathor	389e4e5a27	CI fixy stuff so that we can built on 1.31 (hopefully)	2019-11-25 19:15:11 -07:00
Lokathor	1ab1c006cd	attempt to downgrade to 1.31	2019-11-25 18:46:42 -07:00
Lokathor	3fd763c764	Fix a Miri failure	2019-11-04 19:12:59 -07:00
Lokathor	760a00cabd	base files	2019-09-19 19:09:31 -06:00