diff options
| author | Maria Matejka <mq@ucw.cz> | 2020-02-04 10:11:16 +0100 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2020-02-04 10:11:16 +0100 |
| commit | 4bbc10614f3431c37e6352f5a6ea5c693c31021e (patch) | |
| tree | f9645875b6785c999d8e9d18d3e03912d35eb319 /proto/rpki/config.Y | |
| parent | 7f9adafc109d576d5249c25ef284606dbac4adfa (diff) | |
Added missing extern
Thanks to Robert Scheck <bird@robert-scheck.de> who reported it
and Toke Høiland-Jørgensen <toke@toke.dk> who suggested this patch.
Diffstat (limited to 'proto/rpki/config.Y')
0 files changed, 0 insertions, 0 deletions