Subramanya Sastry 30aaf6574c DOMFragments: Use sealFragment instead of unwrapFragment ... * unwrapFragment had a somewhat unusual behavior which could be a source of bugs while reasoning with it. If undefined, it's default value is true which is contrary to how we think of undefined. * Flipping the polarity of the flag to sealFragment makes the semantics easier to reason with and where !empty(..) applies more naturally to it. Change-Id: Ia50cba345f37e815e5f5f95abb452c8eefcf9011		2019-06-13 13:38:20 -05:00
..
ext/Cite	DOMFragments: Use sealFragment instead of unwrapFragment	2019-06-13 13:38:20 -05:00