comparison Jenkinsfile @ 8296:e98f6338829c

hg: fix db migration after 802fdeefc8cc - index name changed in 1a080d4e926e
author Mads Kiilerich <mads@kiilerich.com>
date Tue, 17 Mar 2020 00:16:52 +0100
parents 89e9aef9b983
children 0a9ddb8cd8c1
comparison
equal deleted inserted replaced
8295:8d663d23ab85 8296:e98f6338829c