Paul Eggert wrote: > Thanks for looking into it. Those patches all look good do me.
OK, I've pushed them. Tim, please let me know when there is a new coverity build we could look at. Bruno
Paul Eggert wrote: > Thanks for looking into it. Those patches all look good do me.
OK, I've pushed them. Tim, please let me know when there is a new coverity build we could look at. Bruno