Skip to content

short-circuit instead of bypass flag#2397

Merged
emmanuelle merged 1 commit intohover-format-or-skipfrom
hover_data_mod
Apr 21, 2020
Merged

short-circuit instead of bypass flag#2397
emmanuelle merged 1 commit intohover-format-or-skipfrom
hover_data_mod

Commits

Commits on Apr 20, 2020