Thanks, Gary. I thought this worth sending by e-mail, but I don't think it matters enough to me to into the whole website generation stack. If it's worth it to you or someone else already familiar to patch, that's great. Otherwise, no hard feelings.
-=-=-=-=-=-=-=-=-=-=-=- Links: You receive all messages sent to this group. View/Reply Online (#1766): https://lists.spdx.org/g/spdx/message/1766 Mute This Topic: https://lists.spdx.org/mt/101547772/21656 Group Owner: [email protected] Unsubscribe: https://lists.spdx.org/g/spdx/leave/2655439/21656/1698928721/xyzzy [[email protected]] -=-=-=-=-=-=-=-=-=-=-=-
