Jeff Davis pointed out a step I missed in that upgrade script. If you've looked at that branch since 2017-12-07 16:30 EST, reload it; a fix was squashed and force-pushed.
Jeff Davis pointed out a step I missed in that upgrade script. If you've looked at that branch since 2017-12-07 16:30 EST, reload it; a fix was squashed and force-pushed.