Re: serial lines -- a proposal

[Peter Simons]

Hi Dustin,

 >> So, it feels like I might want to commit an update that assigns
 >> every macro a unique serial number using set-serial.sh? Is anyone
 >> aware of a reason to defer this decision any longer?
 >
 > Did this happen already?  I think it's a good plan!

alright, I made the commit moments ago. Thank you for the reminder.
Henceforth, all our macros have serial numbers. ;-)

Take care,
Peter