diff Makefile @ 6616:9107d91de94e

topic: update comment in the topic namespace name check The better way would be to make this code reusable for both topics and topic namespaces and have a more generic comment, but the refactoring is a little complicated because of user-visible messages, and it's not that important, so let's leave it as is.
author Anton Shestakov <av6@dwimlabs.net>
date Sun, 17 Dec 2023 12:44:22 -0300
parents a80ed2e4745b
children
line wrap: on
line diff