HomeIsabelle/Phabricator

use less memory on old hardware;

Authored by makarius.

Description

use less memory on old hardware;

Details

Committed
makariusJul 3 2020, 5:11 PM
Parents
rISABELLE088e3aa85250: clarified signature;
Branches
Unknown
Tags
Unknown