Merge branch 'naive/aggregator' into naive/preboot

This commit is contained in:
Fang 2021-07-06 17:02:36 +02:00
commit ecd1146461
No known key found for this signature in database
GPG Key ID: EB035760C1BBA972

View File

@ -482,7 +482,6 @@
::
++ predicted-state
|= nas=^state:naive
^+ nas
^+ state
=. pre.state nas
|^