Merge branch 'magma_series_rings' of github.com:fchapoton/sage into magma-powerseries

Author: fchapoton

src/sage/interfaces/magma.py

@@ -463,7 +463,7 @@ def _post_process_from_file(self, s) -> str:
             return ''
         return s[i + 1:]
 
-    def __getattr__(self, attrname):
+    def __getattr__(self, attrname) -> MagmaFunction:
         """
         Return a formal wrapper around a Magma function, or raise an
         :exc:`AttributeError` if attrname starts with an underscore.