Unnamed repository; edit this file 'description' to name the repository.
Merge pull request #4928 from RalfJung/open-flag-sub
use 'flag subtraction' pattern for 'open'
Ralf Jung 8 weeks ago
parent 9a938f4 · parent c5bbb4e · commit defdb07
0 files changed, 0 insertions, 0 deletions