Skip to content
GitLab
Explore
Sign in
Register
Bump time submodule to 1.12.1
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ben Gamari
requested to merge
wip/bump-time
into
master
Feb 16, 2022
Overview
2
Commits
1
Pipelines
4
Changes
5
Expand
Includes a fix to the cabal file's LICENSE field.
Merge request reports