HomeIsabelle/Phabricator

clarified -- avoid non-standard extend/merge;

Authored by makarius.

Description

clarified -- avoid non-standard extend/merge;

Details

Committed
makariusFri, Jul 17, 8:35 PM
Parents
rISABELLEf8d28617ea08: tuned -- avoid non-standard extend;
Branches
Unknown
Tags
Unknown