Commit graph

4 commits

Author SHA1 Message Date
Eduard Bopp
84b5d5dfef Update my GitHub username
I recently changed the username, so this reflects that change to make
sure people find me.

For confirmation, check that the GitHub ID is still 3098430 for my new
username using the GitHub API:

https://api.github.com/users/edibopp
2020-06-03 15:42:55 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Frederik Rietdijk
97a697f793 python: parsy: 1.2.0 -> 1.3.0 2019-10-27 16:26:48 +01:00
Eduard Bopp
2977fb19ca pythonPackages.parsy: init at 1.2.0 2018-07-17 00:14:49 +02:00