function update_collection(coll, ts) {
    _("Updating collection " + coll + " to " + ts);
    let timestamp = ts || new_timestamp();
    collections[coll] = timestamp;
  }
/*
   * Update the timestamp of a collection.
   */
Update the timestamp of a collection.
Update the timestamp of a collection .
function update_collection(coll, ts) {
    _("Updating collection " + coll + " to " + ts);
    let timestamp = ts || new_timestamp();
    collections[coll] = timestamp;
  }
function update_collection ( coll , ts ) { _ ( "Updating collection " + coll + " to " + ts ) ; let timestamp = ts || new_timestamp ( ) ; collections [ coll ] = timestamp ; }
Update the timestamp of a collection.
Update the timestamp of a collection .