Leonhard Kipp 1a46e70dfb
Use new functions in which (#3310)
* Use new functions in which

* Impl rest_with_minimum and use it

* Use has_flag instead of get_switch
2021-04-20 18:38:36 +12:00
..
2021-04-20 18:38:36 +12:00
2021-04-09 09:17:39 -05:00
2021-04-20 18:34:10 +12:00