Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Calculate durations when reading production programs #3437
We should have production programs' durations available, so that we can use them in the encyclopedia and the AI.
Imported from Launchpad using lp2gh.