{"push_id":694841353,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5422646d91bea34cea63b614435b677a10db44c8","before":"797acd0027c5bb96eb41f836cab920199a13bfe7","commits":[{"sha":"5422646d91bea34cea63b614435b677a10db44c8","author":{"email":"b2b9d047cb15a4ee2f66e3be0a97e512d2f22473@gimp.org","name":"Michael Natterer"},"message":"Bug 750674 - Stroke selection doesn't honor brush size set in paint tool options\n\nImplement GimpConfigInterface::duplicate() and after duplicating the\npaint options, copy the brush-related properties again, because they\nmight have been changed by setting the brush on the copy (if they are\nset to be linked to the brush's native values).","distinct":true,"url":"https://api.github.com/repos/GNOME/gimp/commits/5422646d91bea34cea63b614435b677a10db44c8"}]}