summaryrefslogtreecommitdiff
path: root/proto/rpki/Makefile
diff options
context:
space:
mode:
authorOndrej Zajicek (work) <santiago@crfreenet.org>2020-01-07 01:24:30 +0100
committerOndrej Zajicek (work) <santiago@crfreenet.org>2020-01-07 01:24:30 +0100
commitef8c45749c82e246d477ea4d7f749668a9c7e9ee (patch)
treeeee628e31aed68a622dff74017314a9c3fd07ca0 /proto/rpki/Makefile
parentcc75b3e1dc4a7440479d6f4d73e7e1b9ba65332f (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