Closed Zimmi48 closed 4 years ago
Very nice, thanks! I've never merged in this repos so I'm unsure if some action is needed on my part.
I'll merge myself when the time is right: we first need to create the GitHub release. I was still hoping that the 8.11.2 release would be announced first, but we cannot delay forever.
I'll merge myself when the time is right: we first need to create the GitHub release. I was still hoping that the 8.11.2 release would be announced first, but we cannot delay forever.
IMHO let's go ahead with the GH release at least.
OK, feel free to create it today, or I can do it tomorrow.
@ejgallego This announcement includes a call for help to improve the documentation on which we've been working with @jfehrle.