Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/master'
Browse files Browse the repository at this point in the history
  • Loading branch information
romainsacchi committed Aug 4, 2023
2 parents 40efa5b + adc75e1 commit 35337fe
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion premise/export.py
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,8 @@
import uuid
from collections import defaultdict
from functools import lru_cache
from multiprocessing.pool import ThreadPool as Pool
from multiprocessing import Pool as ProcessPool
from multiprocessing.pool import ThreadPool as Pool
from pathlib import Path
from typing import Any, Dict, List, Set, Tuple, Union

Expand Down

0 comments on commit 35337fe

Please sign in to comment.