Install a missing header file: `Hints.h`.

This fixes #513 (closed).

Merge request reports

Loading