Re: [Boost-users] [graph] Bug - add_edge (adjacency_list) does not report if edge already exists as stated in documentation