release: urbit-os-v1.0.20

Previous urbit-os-v1.0.20 was not released
This commit is contained in:
Philip Monk 2020-05-28 18:43:20 -07:00
parent d49e8adc08
commit 18e396cf53
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
2 changed files with 2 additions and 3 deletions

View File

@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:bc2ac4303fb4a296af57fa1685bf8c683fd8ef9e7d3c1b3428df661177fb2cbf
size 13824914
oid sha256:58deed8e9b8cd2c84d092cb8f638b9881cb0d12b97f7c719339e3604c9e9d1d2
size 13826033

View File

@ -830,7 +830,6 @@
%+ murn ~(tap by peers.ames-state)
|= [=ship =ship-state]
^- (unit [^ship peer-state])
~& checking=ship
?. ?=(%known -.ship-state)
~
`[ship +.ship-state]