0.10.4dev: ported r5114 to stable (''bump database_version to 20, so that new and old repository sync scheme won't mix'')
Authored by: cboos 2007-03-22
Parent: [r5114]
Child: [r5116]