Skip to content

Document `%H` pattern.

Robbert Krebbers requested to merge robbert/issue305 into master

This closes issue #305 (closed).

Merge request reports