Completed
Pull Request — 1.1 (#14)
by David
08:41
created

Changes

Congratulations, you ran your first inspection on the 1.1 branch. Future inspections show changes here.

What's next?

5.79
▶   ± 0
Commit
David Maechler –
Merge 333d3e4d074e88be5196c52e904311d250c55965 into 9887d040e59f723685883a98240522ae1a20751f