Jens Oliver Meiert

Results 56 comments of Jens Oliver Meiert

@guaca, do you have everything you need or is there anything the rest of the team can do at the moment? Also, will you communicate major updates here, or are...

Nice work, @guaca! I’ve done a first quick run and left a few comments. Will do another run at a later draft stage, too.

Then we need to dive in and adjust the code accordingly. This is important but not urgent, so as long as we don’t accrue too many of these PRs this...

@itay1313, see earlier notes—let’s keep everything open for which there is a newer version, so that we there’s visibility for it. This issue here seems to exist for some time,...

(Feel free to merge whenever you like, or if you need us to merge, to let me know when this can be merged.)

Thanks for the update! We’re there if you need anything.

(@agalagade, please let us know once this is ready for review and merging.)