diff options
author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2020-01-07 01:24:30 +0100 |
---|---|---|
committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2020-01-07 01:24:30 +0100 |
commit | ef8c45749c82e246d477ea4d7f749668a9c7e9ee (patch) | |
tree | eee628e31aed68a622dff74017314a9c3fd07ca0 /proto/rpki/Makefile | |
parent | cc75b3e1dc4a7440479d6f4d73e7e1b9ba65332f (diff) |
Filter: Fix typecheck for AND/OR.
Do not apply dynamic type check for second argument of AND/OR, as it is
not evaluated immediately like regular argument would be.
Thanks to Mikael for the bugreport.
Diffstat (limited to 'proto/rpki/Makefile')
0 files changed, 0 insertions, 0 deletions