Skip to content

GitLab

An error occurred while fetching folder content.
Switch branch/tag
History Find file
Clone
tweaks: elide a function that is called just once
Benno Schulenberg authored 
Also adjust and correct a comment.
c8b26bae
Name Last commit Last update