• !17 Adapted the documentation to the new behavior of version exporting: When merging bob.extension!82, this MR will update the according documentation.
  • !16 Use log modules from bob.extension