monnier pushed a change to branch scratch/hyperbole-merge-7.0.2b. was a6eb9f8 Re-apply commit 1188e43f16, apparently lost
The revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository.