Closed nonken closed 9 years ago
@javruben @nonken Did we agree on merging only when we release right after for docs as well?
Not fully understanding the question. I think that Nikolai will deploy the docs immediately after merging.
On Sep 17, 2014, at 10:56 AM, Ivar Pruijn notifications@github.com wrote:
@javruben @nonken Did we agree on merging only when we release right after for docs as well?
— Reply to this email directly or view it on GitHub.
@ivarpruijn @javruben please review.