gxa/gxa — comment on commit 77fbb1ed9d6d63a078ef44af7f37f347ed90eccb
File:  line 0
By alf239:

Funny enough: it's not in `develop` on github yet, still you've already merged it in one of the other branches as `develop`. Worth checking whether your `develop` branch is diverged from the github one.