HomeIsabelle/Phabricator

merge closed heads

Description

merge closed heads

Details

Provenance
kleingAuthored on
Parents
rAFP3845c7c84c17: merged via grafting
rAFP23f824709665: merged via afp-2021-1
Branches
Unknown
Tags
Unknown

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.

Very Large Commit

This commit is very large, and affects more than 1000 files. Changes are not shown.