Cleanup done on my side - and thanks JB to have caught one in the night for me. Thanks for the heads up, it seems it is easy to forget PR on github ;).
Romain Manni-Bucau @rmannibucau <https://twitter.com/rmannibucau> | Blog <https://rmannibucau.metawerx.net/> | Old Blog <http://rmannibucau.wordpress.com> | Github <https://github.com/rmannibucau> | LinkedIn <https://www.linkedin.com/in/rmannibucau> 2018-01-25 22:52 GMT+01:00 Kenneth Knowles <k...@google.com>: > Nice! Back under 100. > > On Wed, Jan 24, 2018 at 4:57 PM, Lukasz Cwik <lc...@google.com> wrote: > >> I would like to give praise to the community for closing about 30 PRs in >> the past couple of days for the 2.3.0 release. >> > >
