Skip to content

Set `Hint Mode` for `FinSet`.

Robbert Krebbersrequested to merge
robbert/issue_139 into master

This fixes issue #139 (closed).

Merge request reports