kdeplasma-addons

Rohan Garg rohangarg at kubuntu.org
Wed Dec 9 21:32:37 UTC 2015


Hey
> Should be fixed now.
>

On further thought, perhaps a good idea would be to introduce server
side push hooks that ensure that no merge markers are left ?

Cheers
Rohan Garg



More information about the kubuntu-devel mailing list