On 08.03.2016 16:18, Benno Schulenberg wrote:
On 2016-03-08 15:45, Frank Lanitz wrote:
There is a PR on github https://github.com/geany/geany/pull/944 ... is this the consolidated work ready to merge?
It is.
OK. Great. Thanks for the update!
Cheers, Frank