Completed
Push — master ( 734e4f...0bce33 )
by Marek
30s queued 17s
created

No notable changes

There were no notable changes in the changeset which was inspected.

4.62
▶   ± 0
Head
Marek Haičman  
Merge pull request #294 from dahaic/problemdlg_fixes
1 more commit
Base
Marek Haičman  
Merge pull request #291 from dahaic/cleaning_scrut_hotspots