add an empty line
bump micro version
prepare for a release
configure: fix pretty printers' enablement
do not distribute generated files
gdb: fix generation of autoloaders
gdb: handle extraction from shared_ptr better
gdb: support newer python versions