-
* GEL priority policy has been renamed from `GEL_priority` to `GEL` in keeping with the current convention * Fixed one typo in the title * Simplified one proof
0a7dfe12
* GEL priority policy has been renamed from `GEL_priority` to `GEL` in keeping with the current convention * Fixed one typo in the title * Simplified one proof