
<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Dear Coqdev,<div class=""><br class=""></div><div class="">Eleven days ago I created a pull request on github (<a href="https://github.com/coq/coq/pull/285" class="">https://github.com/coq/coq/pull/285</a>). Unfortunately there has been almost no reaction to this pull request. Could someone from the Coq developers take a look at this pull request and give some feed back?</div><div class=""><br class=""></div><div class="">Best regards,</div><div class="">Amin</div><div class=""><br class=""></div><div class="">P.S.: I have Cc’d the iris-club mailing list as this pull request would be beneficial to Iris’ proof mode.</div></body></html>