WARNING! Gitlab maintenance operation scheduled for Saturday, 27 September 2025, from 07:00 AM to 4:00 PM GMT (09:00 AM to 6:00 PM CEST)
Resolve "Move BASOPs into separate directory, e.g. lib_basop or basic_op" Closes #2038 See merge request !2260
mentioned in issue #2049