please close issue.
commit c066a53f9e3a4809283ba2934a2e8f1e6c44211b Author: David Kastrup <d...@gnu.org> Date: Tue Feb 4 22:02:20 2020 +0100 Issue 5735: Rewrite define-session and define-session-public macros https://codereview.appspot.com/549510043/