[ elab ] Make %macro
-function be callable without the ElabReflection
extension
#3436
The logs for this run have expired and are no longer available.
Loading