On 19 January 2017 at 23:16, Pascal Quantin <pascal.quantin@xxxxxxxxx> wrote:
> it should be fixed now in our git repository:
> https://code.wireshark.org/review/gitweb?p=wireshark.git;a=commit;h=387e7af2180327774beaa86cee3f9528146141cf
> Note that I do not know how often the github mirror is synchronized, so it
> might take a bit of time before it appears.
>
Builds now! Thanks for correcting this so quickly.
> Thanks for the report,
> Pascal.
--
-------
inum: 883510009027723
sip: jungleboogie@xxxxxxxxxxxx
