Hi folks,
It's been a while since Enrico opened https://github.com/geany/geany/pull/769
As we are going straight to March, I'd like to merge it soonish. Any comments about this?
Cheers, Frank
On 06.01.2016 11:00, Frank Lanitz wrote:
Hi folks,
It's been a while since Enrico opened https://github.com/geany/geany/pull/769
As we are going straight to March, I'd like to merge it soonish. Any comments about this?
For g-p I've just did the step ;)
Cheers, Frank
On 06/01/16 11:01, Frank Lanitz wrote:
On 06.01.2016 11:00, Frank Lanitz wrote:
Hi folks,
It's been a while since Enrico opened https://github.com/geany/geany/pull/769
As we are going straight to March, I'd like to merge it soonish. Any comments about this?
For g-p I've just did the step ;)
And finally also done for Geany, landed in 1.27.
Regards, Enrico