commit a5055caf81537558367fb552e2f0ace65977ffce parent cb3c4a520aabd161edfc52df187e8aefa8516256 Author: Christian Grothoff <christian@grothoff.org> Date: Sat, 18 Jan 2020 00:08:33 +0100 restore hand-written tag file Diff is too large, output suppressed.