Changes between Initial Version and Version 1 of Ticket #23505, comment 42


Ignore:
Timestamp:
02/26/18 08:02:46 (10 months ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23505, comment 42

    initial v1  
    1 @caruso: I merged your commits into the repository on gitlab. (I had sent you the instructions on how to push to gitlab several times on zulip but apparently zulip has silently not been working for quite a while…so, to push your changes there in the future: `git fetch git@gitlab.com:saraedum/sage.git t/23505/lattice_precision && git merge FETCH_HEAD && git push git@gitlab.com:saraedum/sage.git HEAD:t/23505/lattice_precision`.)
     1@caruso: I merged your commits into the repository on gitlab. (I had sent you the instructions on how to push to gitlab several times on zulip but apparently zulip has silently not been working for quite a while…so, to push your changes there in the future: `git fetch git@gitlab.com:saraedum/sage.git t/23505/lattice_precision && git merge FETCH_HEAD && git push git@gitlab.com:saraedum/sage.git HEAD:t/23505/lattice_precision`. There are also more convenient commands for this, I can show you later.)