urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-02 09:32:29 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1175 from urbit/hotfix-prep

Browse Source 
prepare hotfix branch for release
This commit is contained in:
ixv 2019-01-30 17:04:04 -08:00 committed by GitHub
commit 999a11f85f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis/pin-arvo-commit.txt
View File

@ -1 +1 @@
d318b2cfcf33ac41aeaacb03e8b5593f8eb5e690
7aaf5fa815f93b01978f42663163f75d8175ad1c

2
meson.build
View File

@ -236,7 +236,7 @@ endforeach
incdir = include_directories('include/')
conf_data = configuration_data()
conf_data.set('URBIT_VERSION', '"0.7.0"')
conf_data.set('URBIT_VERSION', '"0.7.1"')
conf_data.set('U3_MEMORY_DEBUG', get_option('gc'))
conf_data.set('U3_CPU_DEBUG', get_option('prof'))
conf_data.set('U3_EVENT_TIME_DEBUG', get_option('event-time'))

2
vere/sist.c
View File

@ -978,7 +978,7 @@ _sist_rest()
"and do not delete your pier!\n"));
u3_lo_bail();
}
uL(fprintf(uH, "rest: checkpoint is up-to-date\n", ful_c));
uL(fprintf(uH, "rest: checkpoint is up-to-date\n"));
}
else {
// Execute the fscking things. This is pretty much certain to crash.