आयुष झा (Ayush Jha) comments

Results 13 comments of


                                            आयुष झा (Ayush Jha)

@Kilo59 I am closing this as duplicate of #168, since the other PR is now merged.

This is good, but I only want to merge it with a major version release since this is a change in the public API.

Thanks for the very quick response @kwist-sgr! Approved and merged !~