master updated (f51f963 -> 8ee367f)

[Paul Eggert]

eggert pushed a change to branch master.

      from  f51f963   Fix some side-effecting uses of make-text-button
       new  4dcf8f2   Make live_*_p more accurate
       new  8ee367f   Streamline live_*_holding


Summary of changes:
 src/alloc.c | 350 ++++++++++++++++++++++++++++++++++--------------------------
 1 file changed, 197 insertions(+), 153 deletions(-)