HomePhabricator

proper order of variables, independently of varify/unvarify state -- relevant…

Authored by makarius.

Description

proper order of variables, independently of varify/unvarify state -- relevant for export of locale conclusions;

Details

Committed
makariusOct 26 2019, 7:39 PM
Parents
rISABELLEb62bb9a61abc: merged
Branches
Unknown
Tags
Unknown