add map_choose_or_empty
All threads resolved!
All threads resolved!
Just a nice little convenience.
Edited by Ralf Jung
Merge request reports
Activity
Please register or sign in to reply
Just a nice little convenience.
resolved all threads
changed title from add map_empty_or_choose to add map_choose_or_empty
mentioned in commit d4b10ed0
merged