mirror of
https://github.com/jmcorgan/fips.git
synced 2026-10-06 03:28:24 +00:00
Merge master into next after v0.4.0-dev open
Marker merge to record the master dev-line (now v0.4.0-dev, with maint's v0.3.1-dev open already incorporated) as known on next without taking master's tree (next is on v0.5.0-dev). Future forward-merges from master to next land cleanly on top of this base.
This commit is contained in: