$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
Subject: Re: [boost] [graph] dijkstra pull request ping
From: Piotr Wygocki (wygos_at_[hidden])
Date: 2015-10-21 02:58:27
Dear Tim,
> Does it return an identical result in all cases?
>
> No, it does not. I provided the test, which fails without my patch.
Regards,
Piotr