diff .hgtags @ 439:debeff30d9bd

update: Do a reset if the DB requires an upgrade.
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 17 Apr 2017 21:36:49 -0700
parents 8b777637da75
children a2a46d1774f5
line wrap: on
line diff