Skip to content

Fix documentation of `select` to state that it selects the "last" hypothesis.

Robbert Krebbersrequested to merge
robbert/select_last into master

Merge request reports