-
Frank Gevaerts authored
This is very handy when updating the RELEASE-NOTES as then we sometimes have names added manually in the existing list and we use this script to update the set.
Frank Gevaerts authoredThis is very handy when updating the RELEASE-NOTES as then we sometimes have names added manually in the existing list and we use this script to update the set.