HomeSoftware Heritage

profile::mountpoints: don't do a deep merge of options

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

profile::mountpoints: don't do a deep merge of options

This is very confusing and really not useful in practice.

Details

Provenance
olasdAuthored on Nov 19 2020, 5:06 PM
olasdPushed on Nov 19 2020, 5:07 PM

Commit No Longer Exists

This commit no longer exists in the repository.