Skip to content
Snippets Groups Projects
Select Git revision
4 results
Compare
user avatar
Auto merge of #1523 - phi-gamma:fixes, r=gnzlbg
bors authored 
Fixes

Two patches fixing minor issues.
cfa6c2d7
History
user avatar cfa6c2d7
History
Name Last commit Last update