Tags: wgapl/ompl

merge

fix man install path

release notes

remove mutable member from GNAT

doc fixes

doc fix

ignore scripts for contrib py-bindings

doc update

update cpack settings

add release date