Revision a9692819d5a3a57c9999dd038aebacc3291069bb

Committed on 28/11/2025 8:39 am by carlos <carlos@mugo.ca> [GitHub Diff]

see #702: remove default value of 'None' (not required)