Fix allocator type annotations in grudge.actx#282

inducer merged 1 commit intomaininducer/grudge:mainfrom

fix-allocator-type-annotinducer/grudge:fix-allocator-type-annotCopy head branch name to clipboard