[riot-notifications] [RIOT-OS/RIOT] Revert "ci/vera++/rules/L004: add warning support" (#15813)
notifications at github.com
Wed Jan 20 10:57:42 CET 2021
Reverts should be kept to a minimum and only used for accidental merges. However https://github.com/RIOT-OS/RIOT/pull/15709 was merged before #15793 changed the status quo, so not accidentally. As such it does not require a history rewrite, but this PR should just adapt to the new status quo.
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications